Index: kernel/generic/src/time/clock.c
===================================================================
--- kernel/generic/src/time/clock.c	(revision b1c57a828cb73794beb6a309f5ec0199ca75ecc2)
+++ kernel/generic/src/time/clock.c	(revision a5f7b26932214c7ca90dc6f96467b2fe12ae0df5)
@@ -46,5 +46,5 @@
 #include <synch/spinlock.h>
 #include <synch/waitq.h>
-#include <func.h>
+#include <halt.h>
 #include <proc/scheduler.h>
 #include <cpu.h>
Index: kernel/generic/src/time/timeout.c
===================================================================
--- kernel/generic/src/time/timeout.c	(revision b1c57a828cb73794beb6a309f5ec0199ca75ecc2)
+++ kernel/generic/src/time/timeout.c	(revision a5f7b26932214c7ca90dc6f96467b2fe12ae0df5)
@@ -41,5 +41,5 @@
 #include <panic.h>
 #include <synch/spinlock.h>
-#include <func.h>
+#include <halt.h>
 #include <cpu.h>
 #include <arch/asm.h>