HelenOS sources

bbxm_get_irq_count   56 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c static size_t bbxm_get_irq_count(void);
bbxm_get_irq_count   77 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c 	.machine_get_irq_count = bbxm_get_irq_count,