HelenOS sources
machine_get_platform_name 58 kernel/arch/arm32/include/arch/machine_func.h const char *(*machine_get_platform_name)(void);
machine_get_platform_name 107 kernel/arch/arm32/include/arch/machine_func.h extern const char *machine_get_platform_name(void);
machine_get_platform_name 112 kernel/arch/arm32/src/arm32.c const char *platform = machine_get_platform_name();
machine_get_platform_name 78 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c .machine_get_platform_name = bbxm_get_platform_name
machine_get_platform_name 84 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c .machine_get_platform_name = bbone_get_platform_name,
machine_get_platform_name 138 kernel/arch/arm32/src/machine_func.c if (machine_ops->machine_get_platform_name)
machine_get_platform_name 139 kernel/arch/arm32/src/machine_func.c return machine_ops->machine_get_platform_name();
machine_get_platform_name 51 kernel/arch/arm64/include/arch/machine_func.h const char *(*machine_get_platform_name)(void);
machine_get_platform_name 62 kernel/arch/arm64/include/arch/machine_func.h extern const char *machine_get_platform_name(void);
machine_get_platform_name 115 kernel/arch/arm64/src/arm64.c const char *platform = machine_get_platform_name();
machine_get_platform_name 100 kernel/arch/arm64/src/machine_func.c return machine_ops->machine_get_platform_name();
machine_get_platform_name 54 kernel/arch/mips32/include/arch/machine_func.h const char *(*machine_get_platform_name)(void);
machine_get_platform_name 68 kernel/arch/mips32/include/arch/machine_func.h extern const char *machine_get_platform_name(void);
machine_get_platform_name 64 kernel/arch/mips32/src/mach/malta/malta.c .machine_get_platform_name = malta_get_platform_name
machine_get_platform_name 60 kernel/arch/mips32/src/mach/msim/msim.c .machine_get_platform_name = msim_get_platform_name
machine_get_platform_name 110 kernel/arch/mips32/src/machine_func.c if (machine_ops->machine_get_platform_name)
machine_get_platform_name 111 kernel/arch/mips32/src/machine_func.c return machine_ops->machine_get_platform_name();
machine_get_platform_name 155 kernel/arch/mips32/src/mips32.c (void *) machine_get_platform_name(),
machine_get_platform_name 156 kernel/arch/mips32/src/mips32.c str_size(machine_get_platform_name()));
HelenOS homepage, sources at GitHub