4 files changed, 0 insertions, 4 deletions
diff --git a/src/soc/rockchip/common/vop.c b/src/soc/rockchip/common/vop.c
index 515395b7c3..5674339b04 100644
--- a/src/soc/rockchip/common/vop.c
+++ b/src/soc/rockchip/common/vop.c
@@ -1,7 +1,6 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
 #include <device/mmio.h>
-#include <stddef.h>
 #include <soc/addressmap.h>
 #include <soc/clock.h>
 #include <soc/edp.h>
diff --git a/src/soc/rockchip/rk3288/display.c b/src/soc/rockchip/rk3288/display.c
index 2ad17b4f89..fd86b95d68 100644
--- a/src/soc/rockchip/rk3288/display.c
+++ b/src/soc/rockchip/rk3288/display.c
@@ -7,7 +7,6 @@
 #include <delay.h>
 #include <edid.h>
 #include <gpio.h>
-#include <stddef.h>
 #include <string.h>
 #include <soc/addressmap.h>
 #include <soc/clock.h>
diff --git a/src/soc/rockchip/rk3288/soc.c b/src/soc/rockchip/rk3288/soc.c
index 4375f1bbc9..b23c803422 100644
--- a/src/soc/rockchip/rk3288/soc.c
+++ b/src/soc/rockchip/rk3288/soc.c
@@ -7,7 +7,6 @@
 #include <soc/display.h>
 #include <soc/soc.h>
 #include <soc/sdram.h>
-#include <stddef.h>
 #include <symbols.h>
 
 #include "chip.h"
diff --git a/src/soc/rockchip/rk3399/soc.c b/src/soc/rockchip/rk3399/soc.c
index 92019a054e..89e33631bf 100644
--- a/src/soc/rockchip/rk3399/soc.c
+++ b/src/soc/rockchip/rk3399/soc.c
@@ -9,7 +9,6 @@
 #include <soc/display.h>
 #include <soc/sdram.h>
 #include <soc/symbols.h>
-#include <stddef.h>
 #include <symbols.h>
 
 void bootmem_platform_add_ranges(void)