/shark/trunk/drivers/linuxc26/shark_glue.c |
---|
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) { |
140,7 → 136,7 |
} |
#ifdef DEBUG_SHARK_GLUE |
cprintf("(Timer Del %d)", no); |
cprintf("(Timer Del %d)", index); |
#endif |
if (timer_table[index] != -1 && timer_table[index] != -2) { |