CPUID_0_01_EBX_HTT_CORES - DragonflyBSD

Symbol: CPUID_0_01_EBX_HTT_CORES

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

cpudata->gprs[NVMM_X64_GPR_RBX] &= ~CPUID_0_01_EBX_HTT_CORES;

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

CPUID_0_01_EBX_HTT_CORES);

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

cpudata->gprs[NVMM_X64_GPR_RBX] &= ~CPUID_0_01_EBX_HTT_CORES;

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

CPUID_0_01_EBX_HTT_CORES);