INTR_IPI_COUNT
CTASSERT(INTR_IPI_COUNT <= BCM_LINTC_NIPIS);
#define AIC_NIPIS INTR_IPI_COUNT
static struct intr_ipi ipi_sources[INTR_IPI_COUNT];
if (ipi >= INTR_IPI_COUNT)
nintrcnt += INTR_IPI_COUNT * (mp_maxid + 1);
KASSERT(ipi < INTR_IPI_COUNT,
KASSERT(ipi < INTR_IPI_COUNT,