3 files changed, 0 insertions, 3 deletions
diff --git a/src/soc/samsung/exynos5420/cbmem.c b/src/soc/samsung/exynos5420/cbmem.c
index 5cee9be384..167bd80a3a 100644
--- a/src/soc/samsung/exynos5420/cbmem.c
+++ b/src/soc/samsung/exynos5420/cbmem.c
@@ -2,7 +2,6 @@
 
 #include <cbmem.h>
 #include <soc/cpu.h>
-#include <stddef.h>
 
 void *cbmem_top_chipset(void)
 {
diff --git a/src/soc/samsung/exynos5420/cpu.c b/src/soc/samsung/exynos5420/cpu.c
index 4a294d55ad..8a07552cf6 100644
--- a/src/soc/samsung/exynos5420/cpu.c
+++ b/src/soc/samsung/exynos5420/cpu.c
@@ -9,7 +9,6 @@
 #include <soc/fimd.h>
 #include <soc/cpu.h>
 #include <soc/clk.h>
-#include <stddef.h>
 #include <string.h>
 
 #include "chip.h"
diff --git a/src/soc/samsung/exynos5420/i2c.c b/src/soc/samsung/exynos5420/i2c.c
index 416bb46f4c..45657f13cf 100644
--- a/src/soc/samsung/exynos5420/i2c.c
+++ b/src/soc/samsung/exynos5420/i2c.c
@@ -9,7 +9,6 @@
 #include <soc/i2c.h>
 #include <soc/periph.h>
 #include <soc/pinmux.h>
-#include <stddef.h>
 #include <timer.h>
 
 struct __packed i2c_regs