| /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 |