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