/shark/trunk/ports/first/modules/rmstar.c |
---|
394,7 → 394,7 |
if (RMSTAR_private_change_level(l, p)) return; |
/* check if the wcet is finished... */ |
if (proc_table[exec].avail_time < 0 ) { |
if (proc_table[exec].avail_time) { |
/* wcet finished: disable wcet event and count wcet miss */ |
#ifdef RMSTAR_DEBUG |
rmstar_printf2("W%d",p); |
634,8 → 634,6 |
#endif |
iq_extract(p,&lev->ready); |
level_table[ lev->scheduling_level ]-> |
private_extract(lev->scheduling_level, p); |
/* we finally put the task in the ready queue */ |
proc_table[p].status = FREE; |