APIX_IPI_MIN
APIX_IPI_MIN;
if (vector >= APIX_IPI_MIN)
vector = apix_get_avail_vector_oncpu(0, APIX_IPI_MIN, APIX_IPI_MAX);
ASSERT(vector >= APIX_IPI_MIN && vector <= APIX_IPI_MAX);
if (v >= APIX_IPI_MIN) /* IPIs */
(((APIX_AVINTR_MIN + APIX_NAVINTR) > APIX_IPI_MIN) ? \
(APIX_IPI_MIN - 2) : \