/shark/trunk/ports/first/include/grubstar.h |
---|
6,9 → 6,8 |
* Paolo Gai <pj@gandalf.sssup.it> |
* |
* Authors : |
* Paolo Gai <pj@gandalf.sssup.it> |
* Massimiliano Giorgi <massy@gandalf.sssup.it> |
* Luca Abeni <luca@gandalf.sssup.it> |
* Giacomo Guidi <giacomo@gandalf.sssup.it> |
* Michael Trimarchi <trimarchi@gandalf.sssup.it> |
* (see the web pages for full authors list) |
* |
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy) |
93,5 → 92,7 |
int GRUBSTAR_get_local_scheduler_id_from_pid(LEVEL l, PID p); |
int GRUBSTAR_get_last_reclaiming(LEVEL l); |
#endif |