it_interrupt 59 kernel/arch/ia64/src/drivers/it.c static void it_interrupt(irq_t *); it_interrupt 68 kernel/arch/ia64/src/drivers/it.c it_irq.handler = it_interrupt;