HelenOS sources

icp_irq_exception  104 kernel/arch/arm32/include/arch/mach/integratorcp/integratorcp.h extern void icp_irq_exception(unsigned int, istate_t *);
icp_irq_exception   71 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 	icp_irq_exception,