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()));