/shark/trunk/ports/first/modules/grubstar.c |
---|
820,6 → 820,7 |
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; |
829,9 → 830,6 |
spare=avail_budget+lev->b[lev->tb[exec_shadow]].avail; |
if (spare<=0) spare=0; |
/* Force the server in the NOACTIVE state */ |
lev->b[lev->tb[exec_shadow]].flags=GRUBSTAR_NOACTIVE; |
} |