INTR_IPI_COUNT
CTASSERT(INTR_IPI_COUNT <= BCM_LINTC_NIPIS);
#define AIC_NIPIS INTR_IPI_COUNT
for (u_int irq = 0; irq < INTR_IPI_COUNT; irq++) {
sc->gic_ipi_irqs = mallocarray(INTR_IPI_COUNT,
for (u_int ipi = 0; ipi < INTR_IPI_COUNT; ipi++) {
#define LPI_IPI_LIMIT (LPI_IPI_BASE + (mp_maxid + 1) * INTR_IPI_COUNT)
#define LPI_TO_IPI(lpi) (LPI_IPI_IDX(lpi) % INTR_IPI_COUNT)
#define IPI_TO_LPI(ipi, cpu) ((cpu) * INTR_IPI_COUNT + (ipi))
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,