| /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) { |
| if (proc_table[exec].avail_time < 0 ) { |
| /* wcet finished: disable wcet event and count wcet miss */ |
| #ifdef RMSTAR_DEBUG |
| rmstar_printf2("W%d",p); |
| 634,6 → 634,8 |
| #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; |