/shark/trunk/kernel/modules/intdrive.c/intdrive.c |
---|
183,7 → 183,7 |
} |
static void INTDRIVE_public_activate(LEVEL l, PID p) |
static void INTDRIVE_public_activate(LEVEL l, PID p, struct timespec *t) |
{ |
INTDRIVE_level_des *lev = (INTDRIVE_level_des *)(level_table[l]); |