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