Index: kernel/test/synch/rwlock1.c
===================================================================
--- kernel/test/synch/rwlock1.c	(revision 62b6d17d006549679e1fbb1a49aecf4e38dc239c)
+++ kernel/test/synch/rwlock1.c	(revision 95155b0cd020d126e09ca42230ae0a4dce3f296c)
@@ -41,5 +41,5 @@
 static rwlock_t rwlock;
 
-char * test_rwlock1(void)
+char * test_rwlock1(bool quiet)
 {
 	rwlock_initialize(&rwlock);
Index: kernel/test/synch/rwlock2.c
===================================================================
--- kernel/test/synch/rwlock2.c	(revision 62b6d17d006549679e1fbb1a49aecf4e38dc239c)
+++ kernel/test/synch/rwlock2.c	(revision 95155b0cd020d126e09ca42230ae0a4dce3f296c)
@@ -56,5 +56,5 @@
 }
 
-char * test_rwlock2(void)
+char * test_rwlock2(bool quiet)
 {
 	thread_t *thrd;
Index: kernel/test/synch/rwlock3.c
===================================================================
--- kernel/test/synch/rwlock3.c	(revision 62b6d17d006549679e1fbb1a49aecf4e38dc239c)
+++ kernel/test/synch/rwlock3.c	(revision 95155b0cd020d126e09ca42230ae0a4dce3f296c)
@@ -56,5 +56,5 @@
 }
 
-char * test_rwlock3(void)
+char * test_rwlock3(bool quiet)
 {
 	int i;
Index: kernel/test/synch/rwlock4.c
===================================================================
--- kernel/test/synch/rwlock4.c	(revision 62b6d17d006549679e1fbb1a49aecf4e38dc239c)
+++ kernel/test/synch/rwlock4.c	(revision 95155b0cd020d126e09ca42230ae0a4dce3f296c)
@@ -114,5 +114,5 @@
 }
 
-char * test_rwlock4(void)
+char * test_rwlock4(bool quiet)
 {
 	context_t ctx;
Index: kernel/test/synch/rwlock5.c
===================================================================
--- kernel/test/synch/rwlock5.c	(revision 62b6d17d006549679e1fbb1a49aecf4e38dc239c)
+++ kernel/test/synch/rwlock5.c	(revision 95155b0cd020d126e09ca42230ae0a4dce3f296c)
@@ -67,5 +67,5 @@
 }
 
-char * test_rwlock5(void)
+char * test_rwlock5(bool quiet)
 {
 	int i, j, k;
Index: kernel/test/synch/semaphore1.c
===================================================================
--- kernel/test/synch/semaphore1.c	(revision 62b6d17d006549679e1fbb1a49aecf4e38dc239c)
+++ kernel/test/synch/semaphore1.c	(revision 95155b0cd020d126e09ca42230ae0a4dce3f296c)
@@ -70,5 +70,5 @@
 }
 
-char * test_semaphore1(void)
+char * test_semaphore1(bool quiet)
 {
 	int i, j, k;
Index: kernel/test/synch/semaphore2.c
===================================================================
--- kernel/test/synch/semaphore2.c	(revision 62b6d17d006549679e1fbb1a49aecf4e38dc239c)
+++ kernel/test/synch/semaphore2.c	(revision 95155b0cd020d126e09ca42230ae0a4dce3f296c)
@@ -82,5 +82,5 @@
 }
 
-char * test_semaphore2(void)
+char * test_semaphore2(bool quiet)
 {
 	uint32_t i, k;