Index: kernel/arch/riscv64/src/mm/page.c
===================================================================
--- kernel/arch/riscv64/src/mm/page.c	(revision b7fd2a02e4161f4edd38548e7f8456b8021549be)
+++ kernel/arch/riscv64/src/mm/page.c	(revision 5b0cf635022b821f28f7a014ad5b39d005cd7666)
@@ -42,5 +42,5 @@
 #include <align.h>
 #include <config.h>
-#include <func.h>
+#include <halt.h>
 #include <arch/interrupt.h>
 #include <arch/asm.h>
Index: kernel/arch/riscv64/src/riscv64.c
===================================================================
--- kernel/arch/riscv64/src/riscv64.c	(revision b7fd2a02e4161f4edd38548e7f8456b8021549be)
+++ kernel/arch/riscv64/src/riscv64.c	(revision 5b0cf635022b821f28f7a014ad5b39d005cd7666)
@@ -40,5 +40,5 @@
 #include <arch/drivers/ucb.h>
 
-#include <func.h>
+#include <halt.h>
 #include <config.h>
 #include <errno.h>