/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; |
/shark/trunk/modules/intdrive/inttask.c |
---|
165,15 → 165,13 |
int intdrive_taskinit(int level, int wcet) |
{ |
HARD_TASK_MODEL ht; |
INTERRUPT_TASK_MODEL ht; |
interrupt_task_default_model(ht); |
interrupt_task_def_wcet(ht, wcet); |
interrupt_task_def_system(ht); |
interrupt_task_def_nokill(ht); |
hard_task_default_model(ht); |
hard_task_def_wcet(ht, wcet); |
hard_task_def_interrupt(ht); |
hard_task_def_system(ht); |
hard_task_def_nokill(ht); |
if (level > 0) |
intr_server = task_create("Interrupt Server (Protected)",Interrupt_Server_Prot,&ht,NULL); |
else |