Index: kernel/arch/riscv64/src/riscv64.c
===================================================================
--- kernel/arch/riscv64/src/riscv64.c	(revision c89ae2562f477e91a8041f1bdff7ef9c6bec68b8)
+++ kernel/arch/riscv64/src/riscv64.c	(revision fdfb24eeffcfac57ce3048026b204ef70bf13003)
@@ -50,5 +50,5 @@
 #include <proc/thread.h>
 #include <console/console.h>
-#include <mem.h>
+#include <memw.h>
 #include <str.h>