| 38,7 → 38,6 |
|---|
| /* Interrupt Driver Module */ |
| |
| #include <intdrive/intdrive/intdrive.h> |
| #include <intdrive/intdrive/inttask.h> |
| #include <kernel/model.h> |
| #include <kernel/descr.h> |
| #include <kernel/var.h> |
| 189,7 → 188,7 |
|---|
| |
| if (proc_table[INTDRIVE_task].wcet < TIMESPEC2USEC(&time)) { |
| kern_raise(XWCET_VIOLATION,INTDRIVE_task); |
| } |
| } |
| } |
| |
| static void INTDRIVE_public_activate(LEVEL l, PID p, struct timespec *t) |
| 269,7 → 268,7 |
|---|
| //lev->avail -= TIMESPEC2USEC(&time); |
| |
| TRACER_LOGEVENT(FTrace_EVT_user_event_0, 0, lev->avail + INT_MAX); |
| |
| |
| #ifdef INTDRIVE_DEBUG |
| kern_printf("(INTD:AV:%d)",(int)(lev->avail)); |
| #endif |
| 370,9 → 369,9 |
|---|
| lev->avail = 0; |
| lev->q_theta = q_theta; |
| mul32div32to32(MAX_BANDWIDTH,U,10000,lev->U); |
| |
| |
| //!!!calcolare parametro |
| intdrive_taskinit(l, 10000); |
| intdrive_taskinit(10000); |
| |
| return l; |
| } |