HomeSort by: relevance | last modified time | path
    Searched refs:CPUID_DCP_CORE_P_PKG (Results 1 - 3 of 3) sorted by relevancy

  /src/sys/arch/x86/x86/
cpu_topology.c 128 core_max = __SHIFTOUT(descs[0], CPUID_DCP_CORE_P_PKG)
  /src/sys/arch/x86/include/
specialreg.h 355 #define CPUID_DCP_CORE_P_PKG __BITS(31, 26) /* Cores/package */
  /src/usr.sbin/cpuctl/arch/
i386.c 1787 core_max = __SHIFTOUT(descs[0], CPUID_DCP_CORE_P_PKG) + 1;

Completed in 16 milliseconds