| 171,7 → 171,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 → 178,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); |
| |
| } |
| 236,7 → 235,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, acttime; |
| struct timespec time; |
| int temp,delta_time;; |
| |
| lev->act_number--; |
| 244,8 → 243,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); |
| |
| #ifdef INTDRIVE_DEBUG |