| /shark/trunk/kernel/modules/intdrive.c |
|---|
| 45,8 → 45,6 |
| #include <ll/i386/64bit.h> |
| #include <tracer.h> |
| /*+ Status used in the level +*/ |
| #define INTDRIVE_READY MODULE_STATUS_BASE /*+ - Ready status +*/ |
| #define INTDRIVE_WCET_VIOLATED MODULE_STATUS_BASE+2 /*+ when wcet is finished +*/ |
| 290,9 → 288,6 |
| } |
| } |
| TRACER_LOGEVENT(FTrace_EVT_task_end_cycle, |
| (unsigned short int)proc_table[INTDRIVE_task].context,(unsigned int)l); |
| return 0; |
| } |