72,13 → 72,13 |
-2 The budgets allocated locally to this module have bandwidth > 1 |
-3 wrong LEVEL id |
*/ |
int GRUBSTAR_setbudget(LEVEL l, TIME Q, TIME T, LEVEL local_scheduler_level, int scheduler_id); |
int GRUBSTAR_setbudget(LEVEL l, TIME Q, TIME T, TIME D, LEVEL local_scheduler_level, int scheduler_id); |
|
int GRUBSTAR_removebudget(LEVEL l, int budget); |
|
int GRUBSTAR_adjust_budget(LEVEL l, TIME Q, TIME T, int budget); |
int GRUBSTAR_adjust_budget(LEVEL l, TIME Q, TIME T, TIME D, int budget); |
|
int GRUBSTAR_getbudgetinfo(LEVEL l, TIME *Q, TIME *T, int budget); |
int GRUBSTAR_getbudgetinfo(LEVEL l, TIME *Q, TIME *T, TIME *D, int budget); |
|
int GRUBSTAR_was_budget_overran(LEVEL l, int budget); |
|