HelenOS sources

bbone_get_irq_count   62 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c static size_t bbone_get_irq_count(void);
bbone_get_irq_count   83 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c 	.machine_get_irq_count = bbone_get_irq_count,