cpu/intel/common: Add intel_ht_supported function

Change-Id: I90c0378c4042dec39c8c86c1d2339a5cbcfe78e3
Signed-off-by: Angel Pons <th3fanbus@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/44210
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Rudolph <siro@das-labor.org>

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.
  */