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