CPUID_INTC_EDX_HTT
CPUID_INTC_EDX_PSE36 | CPUID_INTC_EDX_HTT);
} else if ((cpi->cpi_std[1].cp_edx & CPUID_INTC_EDX_HTT) != 0) {
if ((cpi->cpi_std[1].cp_edx & CPUID_INTC_EDX_HTT) != 0) {
if ((cpi->cpi_std[1].cp_edx & CPUID_INTC_EDX_HTT) != 0) {