From 5cf9ccc57d8de19692603fffe4b932475b22091b Mon Sep 17 00:00:00 2001
From: Jacob Garber <jgarber1@ualberta.ca>
Date: Thu, 8 Aug 2019 13:35:31 -0600
Subject: src: Include <stdint.h> instead of <inttypes.h>

The <inttypes.h> header currently does nothing but include the
definitions from <stdint.h>, so let's #include that directly instead.

Change-Id: I9d83ad37d0d7300a093001596ce3f0b3830c5701
Signed-off-by: Jacob Garber <jgarber1@ualberta.ca>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/34800
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Nico Huber <nico.h@gmx.de>
---
 src/soc/rockchip/rk3288/include/soc/timer.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/soc/rockchip/rk3288/include')

diff --git a/src/soc/rockchip/rk3288/include/soc/timer.h b/src/soc/rockchip/rk3288/include/soc/timer.h
index 04efeaf917..1d08fcc1e2 100644
--- a/src/soc/rockchip/rk3288/include/soc/timer.h
+++ b/src/soc/rockchip/rk3288/include/soc/timer.h
@@ -16,7 +16,7 @@
 #ifndef __SOC_ROCKCHIP_RK3288_TIMER_H__
 #define __SOC_ROCKCHIP_RK3288_TIMER_H__
 
-#include <inttypes.h>
+#include <stdint.h>
 #include <soc/addressmap.h>
 #include <soc/clock.h>
 #include <timer.h>
-- 
cgit v1.2.3