Symbol: CPUID_0_04_EAX_SHARING
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
1360
cpudata->gprs[NVMM_X64_GPR_RAX] &= ~CPUID_0_04_EAX_SHARING;
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
1364
__SHIFTIN(ncpus - 1, CPUID_0_04_EAX_SHARING);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
1368
__SHIFTIN(0, CPUID_0_04_EAX_SHARING);