Symbol: kvm_timer_init_vhe
arch/arm64/kvm/arm.c
2198
kvm_timer_init_vhe();
include/kvm/arm_arch_timer.h
119
void kvm_timer_init_vhe(void);