virt_output_init 52 kernel/arch/arm64/src/mach/virt/virt.c static void virt_output_init(void); virt_output_init 66 kernel/arch/arm64/src/mach/virt/virt.c virt_output_init,