Symbol: kvm_timer_vcpu_init
arch/arm64/kvm/arm.c
527
kvm_timer_vcpu_init(vcpu);
include/kvm/arm_arch_timer.h
101
void kvm_timer_vcpu_init(struct kvm_vcpu *vcpu);