Symbol: kvm_xen_has_pending_events
arch/x86/kvm/x86.c
11580
if (kvm_xen_has_pending_events(vcpu))
arch/x86/kvm/x86.c
11686
if (kvm_xen_has_pending_events(vcpu))