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