xive_interrupt_pending
kvmppc_doorbell_pending(vcpu) || xive_interrupt_pending(vcpu))
xive_interrupt_pending(vcpu)) {