12,7 → 12,7 |
|
extern int intr_count; |
|
//#define DEBUG_SHARK_GLUE |
#define DEBUG_SHARK_GLUE |
|
/* 1-15 for IRQ and 16-63 for timers */ |
void *timer_arg_table[MAX_TIMER_TABLE]; |
102,10 → 102,6 |
|
f = kern_fsave(); |
|
#ifdef DEBUG_SHARK_GLUE |
cprintf("(Timer Set %d)", no); |
#endif |
|
i = get_free_timer_slot(); |
|
if (i == -1) { |
131,7 → 127,7 |
int shark_timer_delete(int index) |
{ |
SYS_FLAGS f; |
|
|
f = kern_fsave(); |
|
if (index <= 0 || index >= MAX_TIMER_TABLE) { |
140,16 → 136,16 |
} |
|
#ifdef DEBUG_SHARK_GLUE |
cprintf("(Timer Del %d)", no); |
cprintf("(Timer Del %d)", index); |
#endif |
|
if (timer_table[index] != -1 && timer_table[index] != -2) { |
timer_func_table[index] = NULL; |
timer_arg_table[index] = NULL; |
|
|
kern_event_delete(timer_table[index]); |
timer_table[index] = -1; |
} |
} |
kern_frestore(f); |
|
return 0; |