| /shark/trunk/ports/first/modules/edfstar.c |
|---|
| 505,8 → 505,6 |
| if (EDFSTAR_private_change_level(l,p)) return 0; |
| if (proc_table[p].avail_time > 0) EDFSTAR_account_capacity(lev,p); |
| /* we call guest_end directly here because the same task may |
| be reinserted in the queue before calling the preemption check! */ |
| level_table[ lev->scheduling_level ]-> |