200,8 → 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)); |
EDFSTAR_internal_activate(lev,p,iq_query_timespec(p, &lev->ready)); |
|
event_need_reschedule(); |
break; |
221,10 → 220,9 |
} |
|
/* 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); |
lev->deadline_timer[p] = kern_event_post(&lev->deadline_timespec[p], |
EDFSTAR_timer_deadline, |
(void *)p); |
|
#ifdef EDFSTAR_DEBUG |
// edfstar_printf(")"); |
392,8 → 390,7 |
else |
kern_raise(XACTIVATION,p); |
|
if (proc_table[p].status != EDFSTAR_IDLE) return; |
|
return; |
} |
|
kern_gettime(&t); |