200,6 → 200,7 |
// edfstar_printf2("I%d",p); |
#endif |
/* set the request time */ |
if (!(lev->flag[p] & EDFSTAR_FLAG_SPORADIC)) |
EDFSTAR_internal_activate(lev,p,iq_query_timespec(p, &lev->ready)); |
|
event_need_reschedule(); |
220,6 → 221,7 |
} |
|
/* Set the deadline timer */ |
if (!(lev->flag[p] & EDFSTAR_FLAG_SPORADIC)) |
lev->deadline_timer[p] = kern_event_post(&lev->deadline_timespec[p], |
EDFSTAR_timer_deadline, |
(void *)p); |
390,7 → 392,8 |
else |
kern_raise(XACTIVATION,p); |
|
return; |
if (proc_table[p].status != EDFSTAR_IDLE) return; |
|
} |
|
kern_gettime(&t); |