raspberrypi_init 58 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c static void raspberrypi_init(void); raspberrypi_init 76 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c raspberrypi_init,