Subversion Repositories shark

Compare Revisions

Ignore whitespace Rev 1022 → Rev 1023

/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