HelenOS sources

raspberrypi_get_platform_name   67 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c static const char *raspberrypi_get_platform_name(void);
raspberrypi_get_platform_name   85 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c 	raspberrypi_get_platform_name