HelenOS sources

bbone_irq_exception   58 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c static void bbone_irq_exception(unsigned int exc_no, istate_t *istate);
bbone_irq_exception   79 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c 	.machine_irq_exception = bbone_irq_exception,