VMX_NCPUIDS
for (i = 0; i < VMX_NCPUIDS; i++) {
for (i = 0; i < VMX_NCPUIDS; i++) {
for (i = 0; i < VMX_NCPUIDS; i++) {
for (i = 0; i < VMX_NCPUIDS; i++) {
cap->arch.conf_cpuid_maxops = VMX_NCPUIDS;
bool cpuidpresent[VMX_NCPUIDS];
struct nvmm_vcpu_conf_cpuid cpuid[VMX_NCPUIDS];