irq_interrupt 155 kernel/arch/amd64/src/interrupt.c static void irq_interrupt(unsigned int n, istate_t *istate) irq_interrupt 176 kernel/arch/ia32/src/interrupt.c static void irq_interrupt(unsigned int n, istate_t *istate __attribute__((unused)))HelenOS homepage, sources at GitHub