IPI_MAXREG
for (u_int i = 0; i < IPI_MAXREG; i++) {
KASSERT(ipi_id < IPI_MAXREG);
KASSERT(ipi_id < IPI_MAXREG);
static ipi_intr_t ipi_intrs[IPI_MAXREG] __cacheline_aligned;
#define IPI_BITWORDS (IPI_MAXREG >> IPI_BITW_SHIFT)