HelenOS sources

malta_get_platform_name   55 kernel/arch/mips32/src/mach/malta/malta.c static const char *malta_get_platform_name(void);
malta_get_platform_name   64 kernel/arch/mips32/src/mach/malta/malta.c 	.machine_get_platform_name = malta_get_platform_name