826,12 → 826,9 |
int spare; |
|
/* force a hard reservation event */ |
kern_printf("(GS DS)"); |
avail_budget=lev->b[lev->tb[exec_shadow]].avail; |
lev->b[lev->tb[exec_shadow]].avail=0; |
|
level_table[proc_table[exec_shadow].task_level]->public_epilogue(proc_table[exec_shadow].task_level, exec_shadow); |
|
//level_table[proc_table[exec_shadow].task_level]->public_epilogue(proc_table[exec_shadow].task_level, exec_shadow); |
/* save the unused capacity */ |
spare=avail_budget+lev->b[lev->tb[exec_shadow]].avail; |
if (spare<=0) spare=0; |