5 files changed, 0 insertions, 5 deletions
diff --git a/src/soc/samsung/exynos5250/cbmem.c b/src/soc/samsung/exynos5250/cbmem.c
index 8aca86ad28..167bd80a3a 100644
--- a/src/soc/samsung/exynos5250/cbmem.c
+++ b/src/soc/samsung/exynos5250/cbmem.c
@@ -1,6 +1,5 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
-#include <stddef.h>
 #include <cbmem.h>
 #include <soc/cpu.h>
 
diff --git a/src/soc/samsung/exynos5250/cpu.c b/src/soc/samsung/exynos5250/cpu.c
index b74b838bb7..514e451ede 100644
--- a/src/soc/samsung/exynos5250/cpu.c
+++ b/src/soc/samsung/exynos5250/cpu.c
@@ -8,7 +8,6 @@
 #include <soc/cpu.h>
 #include <soc/dp-core.h>
 #include <soc/fimd.h>
-#include <stddef.h>
 #include <string.h>
 
 #include "chip.h"
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