XIVE_BAD_IRQ
if (xc->hw_ipi != XIVE_BAD_IRQ)
if (xc->hw_ipi == XIVE_BAD_IRQ)
xc->hw_ipi = XIVE_BAD_IRQ;
if (irq == XIVE_BAD_IRQ)
0xff, XIVE_BAD_IRQ);
if (xc->hw_ipi == XIVE_BAD_IRQ)
xc->hw_ipi = XIVE_BAD_IRQ;
if (xc->hw_ipi == XIVE_BAD_IRQ)
xc->hw_ipi = XIVE_BAD_IRQ;
#define XIVE_MAX_IRQ (XIVE_BAD_IRQ - 1)