Index: kernel/arch/riscv64/include/arch/types.h
===================================================================
--- kernel/arch/riscv64/include/arch/types.h	(revision 8d2dd7f2d52fbc7693f94b66e451eeff3756d061)
+++ kernel/arch/riscv64/include/arch/types.h	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
@@ -36,4 +36,6 @@
 #define KERN_riscv64_TYPES_H_
 
+#include <arch/common.h>
+
 typedef uint64_t size_t;
 typedef int64_t ssize_t;