CPUID_HTT_CORES
regs[1] &= ~CPUID_HTT_CORES;
if ((cpu_procinfo & CPUID_HTT_CORES) >> 16 <= max_cores)
else if ((cpu_procinfo & CPUID_HTT_CORES) >> 16 == 0)
(cpu_procinfo & CPUID_HTT_CORES) >> 16 : 1;
logical_cpus = (cpu_procinfo & CPUID_HTT_CORES) >> 16;