HelenOS sources

virt_input_init    53 kernel/arch/arm64/src/mach/virt/virt.c static void virt_input_init(void);
virt_input_init    67 kernel/arch/arm64/src/mach/virt/virt.c 	virt_input_init,
HelenOS homepage, sources at GitHub