Symbol: CPUID_0_04_EAX_CORE_P_PKG
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
1371
cpudata->gprs[NVMM_X64_GPR_RAX] &= ~CPUID_0_04_EAX_CORE_P_PKG;
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
1373
__SHIFTIN(ncpus - 1, CPUID_0_04_EAX_CORE_P_PKG);