4 files changed, 3 insertions, 4 deletions
diff --git a/src/soc/cavium/cn81xx/include/soc/soc.h b/src/soc/cavium/cn81xx/include/soc/soc.h
index a751e64846..582cff3e29 100644
--- a/src/soc/cavium/cn81xx/include/soc/soc.h
+++ b/src/soc/cavium/cn81xx/include/soc/soc.h
@@ -16,7 +16,7 @@
 #ifndef __SOC_CAVIUM_CN81XX_INCLUDE_SOC_SOC_H
 #define __SOC_CAVIUM_CN81XX_INCLUDE_SOC_SOC_H
 
-#include <inttypes.h>
+#include <stdint.h>
 #include <types.h>
 
 /* MIO BOOT Registers */
diff --git a/src/soc/cavium/cn81xx/include/soc/timer.h b/src/soc/cavium/cn81xx/include/soc/timer.h
index 4e4131136e..5e6673e0ea 100644
--- a/src/soc/cavium/cn81xx/include/soc/timer.h
+++ b/src/soc/cavium/cn81xx/include/soc/timer.h
@@ -16,7 +16,7 @@
 #ifndef __SOC_CAVIUM_CN81XX_TIMER_H__
 #define __SOC_CAVIUM_CN81XX_TIMER_H__
 
-#include <inttypes.h>
+#include <stdint.h>
 #include <types.h>
 
 /* Watchdog functions */
diff --git a/src/soc/cavium/cn81xx/include/soc/uart.h b/src/soc/cavium/cn81xx/include/soc/uart.h
index e4022068bc..baa06e1f89 100644
--- a/src/soc/cavium/cn81xx/include/soc/uart.h
+++ b/src/soc/cavium/cn81xx/include/soc/uart.h
@@ -16,7 +16,7 @@
 #ifndef __SOC_CAVIUM_COMMON_INCLUDE_SOC_UART_H
 #define __SOC_CAVIUM_COMMON_INCLUDE_SOC_UART_H
 
-#include <inttypes.h>
+#include <stdint.h>
 #include <types.h>
 
 int uart_is_enabled(const size_t bus);
diff --git a/src/soc/cavium/cn81xx/timer.c b/src/soc/cavium/cn81xx/timer.c
index b333c7e4d6..bd67d8a888 100644
--- a/src/soc/cavium/cn81xx/timer.c
+++ b/src/soc/cavium/cn81xx/timer.c
@@ -20,7 +20,6 @@
 #include <device/mmio.h>
 #include <arch/lib_helpers.h>
 #include <console/console.h>
-#include <inttypes.h>
 #include <soc/clock.h>
 #include <soc/timer.h>
 #include <stdint.h>