252,7 → 252,8 |
SUBTIMESPEC(&schedule_time, &lev->cap_lasttime, &ty); |
tx = TIMESPEC2USEC(&ty); |
|
b->avail -= tx; |
b->avail -= tx; |
b->avail += lev->b[lev->tb[p]].last_reclaiming; |
|
#ifdef GRUBSTAR_DEBUG |
kern_printf("(GS:Cap p%d av=%d tx=%d)", p, b->avail,(int)tx); |
412,7 → 413,7 |
/* remove the task from execution (or from the ready queue) */ |
if (lev->b[lev->tb[p]].current == p) { |
|
GRUBSTAR_account_capacity(lev,p); |
GRUBSTAR_account_capacity(lev,p); |
/* remove the task from the master module */ |
level_table[ lev->scheduling_level ]-> |
private_extract(lev->scheduling_level, p); |