HelenOS sources

msim_get_platform_name   51 kernel/arch/mips32/src/mach/msim/msim.c static const char *msim_get_platform_name(void);
msim_get_platform_name   60 kernel/arch/mips32/src/mach/msim/msim.c 	.machine_get_platform_name = msim_get_platform_name