diff --git a/src/soc/samsung/exynos5250/spi.c b/src/soc/samsung/exynos5250/spi.c
index 0451902df1..879d04a598 100644
--- a/src/soc/samsung/exynos5250/spi.c
+++ b/src/soc/samsung/exynos5250/spi.c
@@ -7,6 +7,8 @@
 #include <soc/clk.h>
 #include <soc/gpio.h>
 #include <soc/spi.h>
+#include <stddef.h>
+#include <stdint.h>
 #include <symbols.h>
 
 #if defined(CONFIG_DEBUG_SPI) && CONFIG_DEBUG_SPI
diff --git a/src/soc/samsung/exynos5420/spi.c b/src/soc/samsung/exynos5420/spi.c
index 42ca5fcf9e..0a2f0275ac 100644
--- a/src/soc/samsung/exynos5420/spi.c
+++ b/src/soc/samsung/exynos5420/spi.c
@@ -6,6 +6,8 @@
 #include <soc/cpu.h>
 #include <soc/spi.h>
 #include <spi-generic.h>
+#include <stddef.h>
+#include <stdint.h>
 #include <string.h>
 #include <symbols.h>