/shark/trunk/modules/intdrive/intdrive.c |
---|
132,12 → 132,12 |
static int INTDRIVE_public_create(LEVEL l, PID p, TASK_MODEL *m) |
{ |
HARD_TASK_MODEL *h; |
INTERRUPT_TASK_MODEL *h; |
if (m->pclass != HARD_PCLASS) return -1; |
if (m->level != 0 && m->level != l) return -1; |
h = (HARD_TASK_MODEL *)m; |
if (!h->wcet && h->periodicity != INTDRIVE) return -1; |
if (m->pclass != INTERRUPT_PCLASS) return -1; |
if (m->level != l) return -1; |
h = (INTERRUPT_TASK_MODEL *)m; |
if (!h->wcet) return -1; |
if (INTDRIVE_task != NIL) return -1; |