HelenOS sources

raspberrypi_get_irq_count   66 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c static size_t raspberrypi_get_irq_count(void);
raspberrypi_get_irq_count   84 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c 	raspberrypi_get_irq_count,
HelenOS homepage, sources at GitHub