Symbol: CPUID_0_07_EDX_ARCH_CAP
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
1393
cpudata->gprs[NVMM_X64_GPR_RDX] |= CPUID_0_07_EDX_ARCH_CAP;
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3480
if (descs.edx & CPUID_0_07_EDX_ARCH_CAP) {
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3549
if (descs.edx & CPUID_0_07_EDX_ARCH_CAP) {