HelenOS sources

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,
HelenOS homepage, sources at GitHub