Symbol: CPUID_DCP_CORE_P_PKG
sys/arch/x86/x86/cpu_topology.c
128
core_max = __SHIFTOUT(descs[0], CPUID_DCP_CORE_P_PKG)
usr.sbin/cpuctl/arch/i386.c
1787
core_max = __SHIFTOUT(descs[0], CPUID_DCP_CORE_P_PKG) + 1;