raspberrypi_output_init 64 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c static void raspberrypi_output_init(void); raspberrypi_output_init 82 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c raspberrypi_output_init,HelenOS homepage, sources at GitHub