xive_interrupt_pending 3758 arch/powerpc/kvm/book3s_hv.c 	    kvmppc_doorbell_pending(vcpu) || xive_interrupt_pending(vcpu))
xive_interrupt_pending 4100 arch/powerpc/kvm/book3s_hv.c 		   xive_interrupt_pending(vcpu)) {