virt_init 50 kernel/arch/arm64/src/mach/virt/virt.c static void virt_init(void); virt_init 64 kernel/arch/arm64/src/mach/virt/virt.c virt_init,