| 163,16 → 163,15 |
|---|
| kern_gettime(&(lev->act_time)); |
| TIMESPEC_ASSIGN(&time,&(lev->act_time)); |
| ADDUSEC2TIMESPEC(proc_table[INTDRIVE_task].wcet,&time); |
| |
| lev->wcet_timer = kern_event_post(&time,INTDRIVE_wcet_timer,(void *)lev); |
| |
| if (lev->flags == INTDRIVE_CHECK_WCET) |
| lev->wcet_timer = kern_event_post(&time,INTDRIVE_wcet_timer,(void *)lev); |
| |
| } |
| |
| 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]); |
| |
| 179,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); |
| |
| } |