164,6 → 164,7 |
TIMESPEC_ASSIGN(&time,&(lev->act_time)); |
ADDUSEC2TIMESPEC(proc_table[INTDRIVE_task].wcet,&time); |
|
if (lev->flags == INTDRIVE_CHECK_WCET) |
lev->wcet_timer = kern_event_post(&time,INTDRIVE_wcet_timer,(void *)lev); |
|
} |
171,7 → 172,7 |
static void INTDRIVE_public_epilogue(LEVEL l, PID p) |
{ |
|
struct timespec time, acttime; |
struct timespec time; |
|
INTDRIVE_level_des *lev = (INTDRIVE_level_des *)(level_table[l]); |
|
178,8 → 179,7 |
if (lev->wcet_timer != NIL) |
kern_event_delete(lev->wcet_timer); |
|
kern_gettime(&acttime); |
SUBTIMESPEC(&acttime, &(lev->act_time), &time); |
SUBTIMESPEC(&schedule_time, &(lev->act_time), &time); |
lev->avail -= TIMESPEC2USEC(&time); |
|
} |