out_hw_irq         68 arch/powerpc/kvm/book3s_xive.h 					  u32 *out_hw_irq,
out_hw_irq         72 arch/powerpc/kvm/book3s_xive.h 		if (out_hw_irq)
out_hw_irq         73 arch/powerpc/kvm/book3s_xive.h 			*out_hw_irq = state->pt_number;
out_hw_irq         77 arch/powerpc/kvm/book3s_xive.h 		if (out_hw_irq)
out_hw_irq         78 arch/powerpc/kvm/book3s_xive.h 			*out_hw_irq = state->ipi_number;