HelenOS sources

gta02_irq_exception   69 kernel/arch/arm32/src/mach/gta02/gta02.c static void gta02_irq_exception(unsigned int exc_no, istate_t *istate);
gta02_irq_exception   92 kernel/arch/arm32/src/mach/gta02/gta02.c 	gta02_irq_exception,
HelenOS homepage, sources at GitHub