diff --git a/src/soc/rockchip/rk3288/timer.h b/src/soc/rockchip/rk3288/timer.h
index 98b4626597..1820f56da4 100644
--- a/src/soc/rockchip/rk3288/timer.h
+++ b/src/soc/rockchip/rk3288/timer.h
@@ -20,10 +20,11 @@
 #ifndef __SOC_ROCKCHIP_RK3288_TIMER_H__
 #define __SOC_ROCKCHIP_RK3288_TIMER_H__
 
+#include <inttypes.h>
 #include "addressmap.h"
 
 #define SYS_CLK_FREQ	24000000
-static const uint32_t clocks_per_usec = SYS_CLK_FREQ/1000000;
+static const u32 clocks_per_usec = SYS_CLK_FREQ/1000000;
 
 struct rk3288_timer {
 	u32 timer_load_count0;