95,8 → 95,10 |
if (INTDRIVE_task == NIL) return; |
|
lev->avail = lev->q_theta; |
|
|
#ifdef INTDRIVE_DEBUG |
TRACER_LOGEVENT(FTrace_EVT_user_event_0, 0, lev->avail + INT_MAX); |
#endif |
|
switch (proc_table[INTDRIVE_task].status) { |
case INTDRIVE_IDLE: |
176,7 → 178,10 |
|
SUBTIMESPEC(&schedule_time, &(lev->act_time), &time); |
lev->avail -= TIMESPEC2USEC(&time); |
|
#ifdef INTDRIVE_DEBUG |
TRACER_LOGEVENT(FTrace_EVT_user_event_0, 0, lev->avail + INT_MAX); |
#endif |
|
if (proc_table[INTDRIVE_task].wcet < TIMESPEC2USEC(&time)) { |
kern_raise(XWCET_VIOLATION,INTDRIVE_task); |
248,7 → 253,9 |
|
//lev->avail -= TIMESPEC2USEC(&time); |
|
#ifdef INTDRIVE_DEBUG |
TRACER_LOGEVENT(FTrace_EVT_user_event_0, 0, lev->avail + INT_MAX); |
#endif |
|
#ifdef INTDRIVE_DEBUG |
kern_printf("(INTD:AV:%d)",(int)(lev->avail)); |