6 files changed, 9 insertions, 0 deletions
diff --git a/src/include/cpu/amd/mtrr.h b/src/include/cpu/amd/mtrr.h
index 906a7c00f0..608a9df1ec 100644
--- a/src/include/cpu/amd/mtrr.h
+++ b/src/include/cpu/amd/mtrr.h
@@ -41,6 +41,7 @@
 #if !defined(__ASSEMBLER__)
 
 #include <cpu/x86/msr.h>
+#include <stdint.h>
 
 void amd_setup_mtrrs(void);
 struct device;
diff --git a/src/include/cpu/cpu.h b/src/include/cpu/cpu.h
index db324b6da9..99249ba629 100644
--- a/src/include/cpu/cpu.h
+++ b/src/include/cpu/cpu.h
@@ -2,6 +2,7 @@
 #define CPU_CPU_H
 
 #include <arch/cpu.h>
+#include <stdint.h>
 
 void cpu_initialize(unsigned int cpu_index);
 /* Returns default APIC id based on logical_cpu number or < 0 on failure. */
diff --git a/src/include/cpu/intel/l2_cache.h b/src/include/cpu/intel/l2_cache.h
index 1c33c24895..ceddf1d150 100644
--- a/src/include/cpu/intel/l2_cache.h
+++ b/src/include/cpu/intel/l2_cache.h
@@ -13,6 +13,8 @@
 #ifndef __P6_L2_CACHE_H
 #define __P6_L2_CACHE_H
 
+#include <stdint.h>
+
 #define EBL_CR_POWERON	0x2A
 
 #define BBL_CR_D0	0x88
diff --git a/src/include/cpu/x86/bist.h b/src/include/cpu/x86/bist.h
index 9535e69781..eb34c97e34 100644
--- a/src/include/cpu/x86/bist.h
+++ b/src/include/cpu/x86/bist.h
@@ -2,6 +2,7 @@
 #define CPU_X86_BIST_H
 
 #include <console/console.h>
+#include <stdint.h>
 
 static inline void report_bist_failure(u32 bist)
 {
diff --git a/src/include/cpu/x86/mp.h b/src/include/cpu/x86/mp.h
index 04f7804d74..b2704eb5b0 100644
--- a/src/include/cpu/x86/mp.h
+++ b/src/include/cpu/x86/mp.h
@@ -5,6 +5,8 @@
 
 #include <arch/smp/atomic.h>
 #include <cpu/x86/smm.h>
+#include <stddef.h>
+#include <stdint.h>
 
 #define CACHELINE_SIZE 64
 
diff --git a/src/include/cpu/x86/smi_deprecated.h b/src/include/cpu/x86/smi_deprecated.h
index d7f3c7fd9e..c20f21baf5 100644
--- a/src/include/cpu/x86/smi_deprecated.h
+++ b/src/include/cpu/x86/smi_deprecated.h
@@ -3,6 +3,8 @@
 #ifndef __X86_SMI_DEPRECATED_H__
 #define __X86_SMI_DEPRECATED_H__
 
+#include <stdint.h>
+
 #if CONFIG(PARALLEL_MP) || !CONFIG(HAVE_SMI_HANDLER)
 /* Empty stubs for platforms without SMI handlers. */
 static inline void smm_init(void) { }