AIC_NIPIS
struct apple_aic_irqsrc sc_ipi_srcs[AIC_NIPIS];
KASSERT(ipi < AIC_NIPIS, ("%s: ipi %u too high", __func__, ipi));