Symbol: kvm_timer_sync_user
arch/arm64/kvm/arm.c
1279
kvm_timer_sync_user(vcpu);
arch/arm64/kvm/arm.c
1323
kvm_timer_sync_user(vcpu);
include/kvm/arm_arch_timer.h
103
void kvm_timer_sync_user(struct kvm_vcpu *vcpu);