icp_get_irq_count 107 kernel/arch/arm32/include/arch/mach/integratorcp/integratorcp.h extern size_t icp_get_irq_count(void); icp_get_irq_count 75 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c icp_get_irq_count,HelenOS homepage, sources at GitHub