Index: kernel/arch/riscv64/include/arch/mm/km.h
===================================================================
--- kernel/arch/riscv64/include/arch/mm/km.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/riscv64/include/arch/mm/km.h	(revision 10d65d70906a865fb116576edc88e47ab61a5fb4)
@@ -38,4 +38,5 @@
 #include <stdbool.h>
 #include <stddef.h>
+#include <stdint.h>
 
 #define KM_RISCV64_IDENTITY_START      UINT64_C(0xffff800000000000)