/shark/trunk/ports/first/modules/edfstar.c |
---|
505,6 → 505,8 |
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 ]-> |