Symbol: kvm_timer_update_run
arch/arm64/kvm/arm.c
1383
kvm_timer_update_run(vcpu);
include/kvm/arm_arch_timer.h
105
void kvm_timer_update_run(struct kvm_vcpu *vcpu);