Index: kernel/arch/abs32le/src/mm/page.c
===================================================================
--- kernel/arch/abs32le/src/mm/page.c	(revision c58441dd527eed4a812322d14db545c1ffcd46d5)
+++ kernel/arch/abs32le/src/mm/page.c	(revision b8ab299d2bbb6098fea4bbbc0986683a61e9d9b8)
@@ -41,5 +41,5 @@
 #include <align.h>
 #include <config.h>
-#include <func.h>
+#include <halt.h>
 #include <arch/interrupt.h>
 #include <arch/asm.h>