BCM_LINTC_NIPIS
CTASSERT(INTR_IPI_COUNT <= BCM_LINTC_NIPIS);
KASSERT(ipi < BCM_LINTC_NIPIS, ("%s: too high ipi %u", __func__, ipi));