raspberrypi_irq_exception 62 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c static void raspberrypi_irq_exception(unsigned int exc_no, istate_t *istate); raspberrypi_irq_exception 80 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c raspberrypi_irq_exception,HelenOS homepage, sources at GitHub