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