| /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 |