Symbol: kvm_timer_needs_notify
arch/arm64/kvm/arch_timer.c
425
return !!kvm_timer_needs_notify(vcpu);
arch/arm64/kvm/arch_timer.c
433
u64 mask = kvm_timer_needs_notify(vcpu);