93,6 → 93,7 |
if (INTDRIVE_task == NIL) return; |
|
lev->avail = lev->capacity; |
lev->next_time = lev->replenish_period; |
|
switch (proc_table[INTDRIVE_task].status) { |
|
210,10 → 211,12 |
} |
|
if (lev->replenish_timer == NIL) { |
|
kern_gettime(&time); |
ADDUSEC2TIMESPEC(lev->next_time,&time); |
|
lev->replenish_timer = kern_event_post(&time,INTDRIVE_timer,(void *)lev); |
|
} |
|
} |
295,6 → 298,9 |
if (lev->replenish_timer != NIL) |
kern_event_delete(lev->replenish_timer); |
|
if (lev->wcet_timer != NIL) |
kern_event_delete(lev->wcet_timer); |
|
proc_table[INTDRIVE_task].status = INTDRIVE_IDLE; |
|
} |