| 83,8 → 83,6 |
|---|
| /* Replenish the capacity */ |
| static void INTDRIVE_timer(void *arg) |
| { |
| //TRACER_LOGEVENT(FTrace_EVT_user_event_3, 0, 0); |
| |
| INTDRIVE_level_des *lev = (INTDRIVE_level_des *)(arg); |
| |
| lev->replenish_timer = NIL; |
| 110,7 → 108,6 |
|---|
| } |
| break; |
| } |
| //TRACER_LOGEVENT(FTrace_EVT_user_event_4, 1, 0); |
| } |
| |
| /*static void INTDRIVE_wcet_timer(void *arg) |
| 316,8 → 313,10 |
|---|
| } |
| } |
| |
| TRACER_LOGEVENT(FTrace_EVT_task_end_cycle, |
| (unsigned short int)proc_table[INTDRIVE_task].context,(unsigned int)l); |
| |
| return 0; |
| |
| } |
| |
| static void INTDRIVE_public_end(LEVEL l, PID p) |