| 252,8 → 252,7 |
|---|
| SUBTIMESPEC(&schedule_time, &lev->cap_lasttime, &ty); |
| tx = TIMESPEC2USEC(&ty); |
| |
| b->avail -= tx; |
| b->avail += lev->b[lev->tb[p]].last_reclaiming; |
| b->avail -= tx; |
| |
| #ifdef GRUBSTAR_DEBUG |
| kern_printf("(GS:Cap p%d av=%d tx=%d)", p, b->avail,(int)tx); |
| 413,7 → 412,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); |