Symbol: kvm_timer_vcpu_load
arch/arm64/kvm/arm.c
675
kvm_timer_vcpu_load(vcpu);
include/kvm/arm_arch_timer.h
116
void kvm_timer_vcpu_load(struct kvm_vcpu *vcpu);