NIPIS
static int ipi_prio[NIPIS] = {
__CTASSERT(NIPIS < 16);
KASSERT(__SHIFTOUT(ipi_mask, mbox_mask) < __BIT(NIPIS));
KASSERT(req < NIPIS);
struct evcnt ci_evcnt_per_ipi[NIPIS]; /* individual IPI counters*/
for (size_t i = 0; i < NIPIS; i++) {
for (u_int ipi = 0; ipi < NIPIS; ipi++) {
KASSERT((tag >= 0) && (tag < NIPIS));
KASSERT((uintptr_t)arg < NIPIS);
#if NIPIS >= 23
#define RMIXL_INTRVEC_FMN (RMIXL_INTRVEC_IPI + NIPIS)
struct evcnt ci_evcnt_per_ipi[NIPIS]; /* individual IPI counters */
__CTASSERT(NIPIS < 16);
KASSERT(req < NIPIS);
for (size_t i = 0; i < NIPIS; i++) {