Symbol: kvm_timer_should_notify_user
arch/arm64/kvm/arm.c
1165
if (kvm_timer_should_notify_user(vcpu) ||
include/kvm/arm_arch_timer.h
104
bool kvm_timer_should_notify_user(struct kvm_vcpu *vcpu);