Index: generic/src/time/clock.c
===================================================================
--- generic/src/time/clock.c	(revision 23684b75fbd877e18cebd073cdb4a435652e8c2c)
+++ generic/src/time/clock.c	(revision e692a27a94144915c2caeadca44e573b14cf107b)
@@ -36,5 +36,4 @@
 #include <proc/scheduler.h>
 #include <cpu.h>
-#include <print.h>
 #include <arch.h>
 #include <adt/list.h>
Index: generic/src/time/timeout.c
===================================================================
--- generic/src/time/timeout.c	(revision 23684b75fbd877e18cebd073cdb4a435652e8c2c)
+++ generic/src/time/timeout.c	(revision e692a27a94144915c2caeadca44e573b14cf107b)
@@ -35,8 +35,6 @@
 #include <func.h>
 #include <cpu.h>
-#include <print.h>
 #include <arch/asm.h>
 #include <arch.h>
-#include <print.h>