171,7 → 171,7 |
static void INTDRIVE_public_epilogue(LEVEL l, PID p) |
{ |
|
struct timespec time; |
struct timespec time, acttime; |
|
INTDRIVE_level_des *lev = (INTDRIVE_level_des *)(level_table[l]); |
|
178,7 → 178,8 |
if (lev->wcet_timer != NIL) |
kern_event_delete(lev->wcet_timer); |
|
SUBTIMESPEC(&schedule_time, &(lev->act_time), &time); |
kern_gettime(&acttime); |
SUBTIMESPEC(&acttime, &(lev->act_time), &time); |
lev->avail -= TIMESPEC2USEC(&time); |
|
} |
235,7 → 236,7 |
static int INTDRIVE_public_message(LEVEL l, PID p, void *m) |
{ |
INTDRIVE_level_des *lev = (INTDRIVE_level_des *)(level_table[l]); |
struct timespec time; |
struct timespec time, acttime; |
int temp,delta_time;; |
|
lev->act_number--; |
243,7 → 244,8 |
if (lev->wcet_timer != NIL) |
kern_event_delete(lev->wcet_timer); |
|
SUBTIMESPEC(&schedule_time, &(lev->act_time), &time); |
kern_gettime(&acttime); |
SUBTIMESPEC(&acttime, &(lev->act_time), &time); |
lev->avail -= TIMESPEC2USEC(&time); |
|
#ifdef INTDRIVE_DEBUG |