Symbol: CPUID_TOP_LVLTYPE_CORE
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1402
__SHIFTIN(CPUID_TOP_LVLTYPE_CORE, CPUID_TOP_LVLTYPE);
usr.sbin/cpuctl/arch/i386.c
1834
case CPUID_TOP_LVLTYPE_CORE: