HelenOS sources

virt_get_platform_name   56 kernel/arch/arm64/src/mach/virt/virt.c static const char *virt_get_platform_name(void);
virt_get_platform_name   70 kernel/arch/arm64/src/mach/virt/virt.c 	virt_get_platform_name
HelenOS homepage, sources at GitHub