MAX_XIVE_IRQS
xive_cpud->ipi_data.lirq = MAX_XIVE_IRQS;
MAX_XIVE_IRQS);
powerpc_register_pic(dev, OF_xref_from_node(phandle), MAX_XIVE_IRQS,
MAX_XIVE_IRQS, 1 /* Number of IPIs */, FALSE);
if (vector == MAX_XIVE_IRQS)
if (irq == MAX_XIVE_IRQS) {
if (irq == MAX_XIVE_IRQS) {
if (irq == MAX_XIVE_IRQS)