diff --git a/target-ppc/cpu.h b/target-ppc/cpu.h
index b70862ad81..b21d6b19fb 100644
--- a/target-ppc/cpu.h
+++ b/target-ppc/cpu.h
@@ -21,7 +21,7 @@
 #define __CPU_PPC_H__
 
 #include "config.h"
-#include <stdint.h>
+#include <inttypes.h>
 
 #if defined(TARGET_PPC64) || (HOST_LONG_BITS >= 64)
 /* When using 64 bits temporary registers,