3 files changed, 3 insertions, 1 deletions
diff --git a/src/soc/rockchip/common/gpio.c b/src/soc/rockchip/common/gpio.c
index fa0990b10b..3d7e1614e0 100644
--- a/src/soc/rockchip/common/gpio.c
+++ b/src/soc/rockchip/common/gpio.c
@@ -20,6 +20,7 @@
 #include <soc/grf.h>
 #include <soc/soc.h>
 #include <stdlib.h>
+#include <types.h>
 
 static void gpio_set_dir(gpio_t gpio, enum gpio_dir dir)
 {
diff --git a/src/soc/rockchip/rk3399/include/soc/mipi.h b/src/soc/rockchip/rk3399/include/soc/mipi.h
index f304d8fcd0..43ab7b914f 100644
--- a/src/soc/rockchip/rk3399/include/soc/mipi.h
+++ b/src/soc/rockchip/rk3399/include/soc/mipi.h
@@ -17,6 +17,7 @@
 #define __RK_MIPI_H
 
 #include <stdlib.h>
+#include <types.h>
 
 struct rk_mipi_regs {
 	u32 dsi_version;
diff --git a/src/soc/rockchip/rk3399/mipi.c b/src/soc/rockchip/rk3399/mipi.c
index cc16563c43..1f3f02cbee 100644
--- a/src/soc/rockchip/rk3399/mipi.c
+++ b/src/soc/rockchip/rk3399/mipi.c
@@ -20,13 +20,13 @@
 #include <edid.h>
 #include <gpio.h>
 #include <stdlib.h>
-#include <stdint.h>
 #include <string.h>
 #include <soc/addressmap.h>
 #include <soc/clock.h>
 #include <soc/display.h>
 #include <soc/mipi.h>
 #include <soc/soc.h>
+#include <types.h>
 #include <timer.h>
 
 static struct rk_mipi_dsi rk_mipi[2] = {