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