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