Symbol: kvm_timer_sync_nested
arch/arm64/kvm/arm.c
1326
kvm_timer_sync_nested(vcpu);
include/kvm/arm_arch_timer.h
102
void kvm_timer_sync_nested(struct kvm_vcpu *vcpu);