| 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); |
| |
| } |