HelenOS sources

machine_get_platform_name  136 kernel/arch/arm32/src/machine_func.c const char *machine_get_platform_name(void)
machine_get_platform_name   98 kernel/arch/arm64/src/machine_func.c const char *machine_get_platform_name(void)
machine_get_platform_name  108 kernel/arch/mips32/src/machine_func.c const char *machine_get_platform_name(void)