/shark/trunk/modules/intdrive/inttask.c |
---|
71,7 → 71,9 |
if (no<16) |
irq_mask(no); |
#ifdef DEBUG_SHARK_GLUE |
TRACER_LOGEVENT(FTrace_EVT_user_event_1, no, 0); |
#endif |
int_list[next_free_int] = no; |
next_free_int++; |
101,7 → 103,9 |
if (next_execute_int == MAX_INT_LIST) next_execute_int = 0; |
} |
#ifdef DEBUG_SHARK_GLUE |
TRACER_LOGEVENT(FTrace_EVT_user_event_2, res, 0); |
#endif |
#ifdef DEBUG_SHARK_GLUE |
kern_printf("(get_interrupt_job: %d)", res); |