/shark/trunk/ports/first/modules/grubstar.c |
---|
689,6 → 689,15 |
} |
int GRUBSTAR_get_remain_capacity(LEVEL l, int budget) |
{ |
GRUBSTAR_level_des *lev = (GRUBSTAR_level_des *)(level_table[l]); |
return lev->b[budget].avail; |
} |
int GRUBSTAR_get_local_scheduler_level_from_budget(LEVEL l, int budget) |
{ |
GRUBSTAR_level_des *lev = (GRUBSTAR_level_des *)(level_table[l]); |