APIX_NAVINTR
apix_irminfo.apix_per_cpu_vectors = APIX_NAVINTR -
((APIX_NAVINTR <= 0) ? 0 : \
(((APIX_AVINTR_MIN + APIX_NAVINTR) > APIX_IPI_MIN) ? \
(APIX_AVINTR_MIN + APIX_NAVINTR - 2)))