APIX_NVECTOR
for (j = 0; j < APIX_NVECTOR; j++) {
for (j = 0; j < APIX_NVECTOR; j++) {
int apix_cpu_nvectors = APIX_NVECTOR;
ASSERT(cpu < apic_nproc && vec < APIX_NVECTOR);
if (cpu >= apic_nproc || vec >= APIX_NVECTOR)
apix_vector_t *x_vectbl[APIX_NVECTOR]; /* vector table */
#define APIX_IPI_MIN (APIX_NVECTOR - apix_nipis)