diff --git a/src/cpu/intel/common/common.h b/src/cpu/intel/common/common.h
index 57a5fe602c..df14668095 100644
--- a/src/cpu/intel/common/common.h
+++ b/src/cpu/intel/common/common.h
@@ -3,7 +3,7 @@
 #ifndef _CPU_INTEL_COMMON_H
 #define _CPU_INTEL_COMMON_H
 
-#include <stdint.h>
+#include <types.h>
 
 void set_vmx_and_lock(void);
 void set_feature_ctrl_vmx(void);
@@ -17,6 +17,11 @@ void set_feature_ctrl_lock(void);
 struct cppc_config;
 void cpu_init_cppc_config(struct cppc_config *config, u32 version);
 
+/*
+ * Returns true if CPU supports Hyper-Threading.
+ */
+bool intel_ht_supported(void);
+
 /*
  * Returns true if it's not thread 0 on a hyperthreading enabled core.
  */
diff --git a/src/cpu/intel/common/hyperthreading.c b/src/cpu/intel/common/hyperthreading.c
index d68614974f..fce7576673 100644
--- a/src/cpu/intel/common/hyperthreading.c
+++ b/src/cpu/intel/common/hyperthreading.c
@@ -3,6 +3,13 @@
 #include <cpu/x86/lapic.h>
 #include <cpu/intel/common/common.h>
 #include <arch/cpu.h>
+#include <types.h>
+
+bool intel_ht_supported(void)
+{
+	/* Is HyperThreading supported? */
+	return !!(cpuid_edx(1) & CPUID_FEAURE_HTT);
+}
 
 /*
  * Return true if running thread does not have the smallest lapic ID
@@ -13,8 +20,7 @@ bool intel_ht_sibling(void)
 	struct cpuid_result result;
 	unsigned int core_ids, apic_ids, threads;
 
-	/* Is Hyper-Threading supported */
-	if (!(cpuid_edx(1) & CPUID_FEAURE_HTT))
+	if (!intel_ht_supported())
 		return false;
 
 	apic_ids = 1;