Symbol: kvm_timer_vcpu_reset
arch/arm64/kvm/reset.c
268
kvm_timer_vcpu_reset(vcpu);
include/kvm/arm_arch_timer.h
97
void kvm_timer_vcpu_reset(struct kvm_vcpu *vcpu);