kvm_timer_init_vhe   93 include/kvm/arm_arch_timer.h void kvm_timer_init_vhe(void);
kvm_timer_init_vhe 1370 virt/kvm/arm/arm.c 		kvm_timer_init_vhe();