kvm_timer_should_notify_user   75 include/kvm/arm_arch_timer.h bool kvm_timer_should_notify_user(struct kvm_vcpu *vcpu);
kvm_timer_should_notify_user  748 virt/kvm/arm/arm.c 			if (kvm_timer_should_notify_user(vcpu) ||