| 48,7 → 48,11 |
|---|
| |
| //#define DEBUG_SHARK_GLUE |
| |
| PID intr_server = NIL; |
| /* |
| * Moved into intdrive.c |
| */ |
| extern PID intr_server; |
| |
| void (*noint_handler)(int n); |
| |
| #define MAX_INT_LIST 50 |
| 167,26 → 171,6 |
|---|
| |
| } |
| |
| int intdrive_taskinit(int level, int wcet) |
| { |
| 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); |
| |
| if (level > 0) |
| intr_server = task_create("Interrupt Server (Protected)",Interrupt_Server_Prot,&ht,NULL); |
| else |
| intr_server = task_create("Interrupt Server",Interrupt_Server,&ht,NULL); |
| |
| if (intr_server == NIL) |
| return -1; |
| |
| return 0; |
| } |
| |
| void set_noint_handler(void * new_handler) |
| { |
| noint_handler = new_handler; |