| /shark/trunk/ports/first/modules/cbsstar.c |
|---|
| 232,7 → 232,7 |
| TIME tx; |
| struct budget_struct *b = &lev->b[lev->tb[p]]; |
| if (lev->cap_lev != NIL && b->current == p) { |
| if (lev->cap_lev != NIL) { |
| kern_event_delete(lev->cap_lev); |
| lev->cap_lev = NIL; |
| } |
| 628,6 → 628,7 |
| lev->b[budget].Q = 0; |
| lev->b[budget].T = 0; |
| NULL_TIMESPEC(&lev->b[budget].dline); |
| NULL_TIMESPEC(&lev->b[budget].replenish); |
| lev->b[budget].replenish_timer = NIL; |
| lev->b[budget].avail = 0; |
| lev->b[budget].current = -1; |