APIX_VIRTVEC_CPU
cpuid = APIX_VIRTVEC_CPU(virt_vec);
uint32_t cpuid = APIX_VIRTVEC_CPU(virtvec);
uint32_t cpuid = APIX_VIRTVEC_CPU(virtvec);
cpuid = APIX_VIRTVEC_CPU(virt_vect);
vecp = xv_vector(APIX_VIRTVEC_CPU(virt_vect),
APIX_VIRTVEC_CPU(virt_vect),
"for %p to remove", APIX_VIRTVEC_CPU(virt_vect),
APIX_VIRTVEC_CPU(virt_vect),