APIX_IPI_MAX
vector = apix_get_avail_vector_oncpu(0, APIX_IPI_MIN, APIX_IPI_MAX);
ASSERT(vector >= APIX_IPI_MIN && vector <= APIX_IPI_MAX);