diff --git a/libcpu/aarch64/common/include/armv8.h b/libcpu/aarch64/common/include/armv8.h
index 5f64f03090..9063a8337d 100644
--- a/libcpu/aarch64/common/include/armv8.h
+++ b/libcpu/aarch64/common/include/armv8.h
@@ -92,7 +92,7 @@
 
 #else /* !__ASSEMBLY__ */
 
-#include <rtdef.h>
+#include <rttypes.h>
 
 typedef struct { rt_uint64_t value[2]; } rt_uint128_t;
 
diff --git a/libcpu/aarch64/common/include/cpuport.h b/libcpu/aarch64/common/include/cpuport.h
index 217f477aaf..58fe3b145f 100644
--- a/libcpu/aarch64/common/include/cpuport.h
+++ b/libcpu/aarch64/common/include/cpuport.h
@@ -15,7 +15,7 @@
 
 #include <armv8.h>
 #include <rtcompiler.h>
-#include <rtdef.h>
+#include <rttypes.h>
 
 #ifdef RT_USING_SMP