Index: kernel/test/synch/rcu1.c
===================================================================
--- kernel/test/synch/rcu1.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/test/synch/rcu1.c	(revision da75af41c10d3e964e96561840fd284f4c25c790)
@@ -31,5 +31,4 @@
 #include <arch.h>
 #include <atomic.h>
-#include <print.h>
 #include <proc/thread.h>
 #include <macros.h>
Index: kernel/test/synch/semaphore1.c
===================================================================
--- kernel/test/synch/semaphore1.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/test/synch/semaphore1.c	(revision da75af41c10d3e964e96561840fd284f4c25c790)
@@ -30,7 +30,5 @@
 #include <arch.h>
 #include <atomic.h>
-#include <print.h>
 #include <proc/thread.h>
-
 #include <synch/waitq.h>
 #include <synch/semaphore.h>
Index: kernel/test/synch/semaphore2.c
===================================================================
--- kernel/test/synch/semaphore2.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/test/synch/semaphore2.c	(revision da75af41c10d3e964e96561840fd284f4c25c790)
@@ -30,9 +30,7 @@
 #include <arch.h>
 #include <atomic.h>
-#include <print.h>
 #include <proc/thread.h>
 #include <typedefs.h>
 #include <arch/context.h>
-
 #include <synch/waitq.h>
 #include <synch/semaphore.h>
Index: kernel/test/synch/workq-test-core.h
===================================================================
--- kernel/test/synch/workq-test-core.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/test/synch/workq-test-core.h	(revision da75af41c10d3e964e96561840fd284f4c25c790)
@@ -31,5 +31,4 @@
 #include <arch.h>
 #include <atomic.h>
-#include <print.h>
 #include <proc/thread.h>
 #include <mem.h>
Index: kernel/test/synch/workqueue2.c
===================================================================
--- kernel/test/synch/workqueue2.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/test/synch/workqueue2.c	(revision da75af41c10d3e964e96561840fd284f4c25c790)
@@ -29,5 +29,4 @@
 #include <test.h>
 #include <arch.h>
-#include <print.h>
 #include <synch/workqueue.h>
 
Index: kernel/test/synch/workqueue3.c
===================================================================
--- kernel/test/synch/workqueue3.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/test/synch/workqueue3.c	(revision da75af41c10d3e964e96561840fd284f4c25c790)
@@ -29,5 +29,4 @@
 #include <test.h>
 #include <arch.h>
-#include <print.h>
 #include <synch/workqueue.h>