Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision a53ed3a8097360ccf174e8d94fb407db919eb66a)
+++ kernel/generic/src/proc/scheduler.c	(revision a5f7b26932214c7ca90dc6f96467b2fe12ae0df5)
@@ -58,5 +58,5 @@
 #include <context.h>
 #include <fpu_context.h>
-#include <func.h>
+#include <halt.h>
 #include <arch.h>
 #include <adt/list.h>
Index: kernel/generic/src/proc/task.c
===================================================================
--- kernel/generic/src/proc/task.c	(revision a53ed3a8097360ccf174e8d94fb407db919eb66a)
+++ kernel/generic/src/proc/task.c	(revision a5f7b26932214c7ca90dc6f96467b2fe12ae0df5)
@@ -56,5 +56,5 @@
 #include <print.h>
 #include <errno.h>
-#include <func.h>
+#include <halt.h>
 #include <str.h>
 #include <syscall/copy.h>