APIX_AVINTR_MIN
for (j = APIX_AVINTR_MIN; j < APIX_AVINTR_MAX; j++) {
for (i = APIX_AVINTR_MIN; i <= APIX_AVINTR_MAX; i++) {
for (i = APIX_AVINTR_MIN; i <= APIX_AVINTR_MAX; i++) {
for (i = APIX_AVINTR_MIN; i <= APIX_AVINTR_MAX; i++) {
for (i = APIX_AVINTR_MIN; i <= APIX_AVINTR_MAX; i++) {
vector = apix_get_avail_vector_oncpu(tocpu, APIX_AVINTR_MIN,
for (i = APIX_AVINTR_MIN; i <= APIX_AVINTR_MAX; i++) {
for (v = APIX_AVINTR_MIN; v <= APIX_AVINTR_MAX; v++) {
(apix_cpu_nvectors - apix_nipis - APIX_AVINTR_MIN)
(((APIX_AVINTR_MIN + APIX_NAVINTR) > APIX_IPI_MIN) ? \
(APIX_AVINTR_MIN + APIX_NAVINTR - 2)))
((v) >= APIX_AVINTR_MIN && (v) <= APIX_AVINTR_MAX)