CPUID_HTT_CORES
htt = (cpu_procinfo & CPUID_HTT_CORES) >> 16;
count = (cpu_procinfo & CPUID_HTT_CORES) >> CPUID_HTT_CORE_SHIFT;
lcpus_max = (cpu_procinfo & CPUID_HTT_CORES) >> 16;