HelenOS sources

bbxm_irq_exception   52 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c static void bbxm_irq_exception(unsigned int exc_no, istate_t *istate);
bbxm_irq_exception   73 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c 	.machine_irq_exception = bbxm_irq_exception,