Index: kernel/test/smpcall/smpcall1.c
===================================================================
--- kernel/test/smpcall/smpcall1.c	(revision 324e4717ec174d75eedcc4190b30e8268253122a)
+++ kernel/test/smpcall/smpcall1.c	(revision 0e4c5f0b7a21f09f35471fba7a626dff3790ce97)
@@ -1,4 +1,4 @@
 /*
- * Copyright (c) 2012 Adam Hraska 
+ * Copyright (c) 2012 Adam Hraska
  * All rights reserved.
  *
Index: kernel/test/synch/rcu1.c
===================================================================
--- kernel/test/synch/rcu1.c	(revision 324e4717ec174d75eedcc4190b30e8268253122a)
+++ kernel/test/synch/rcu1.c	(revision 0e4c5f0b7a21f09f35471fba7a626dff3790ce97)
@@ -698,5 +698,5 @@
 		return true;
 	} else {
-		TPRINTF(err);
+		TPRINTF("%s", err);
 		/* Leak a bit of mem. */
 		return false;
Index: kernel/test/synch/workqueue2.c
===================================================================
--- kernel/test/synch/workqueue2.c	(revision 324e4717ec174d75eedcc4190b30e8268253122a)
+++ kernel/test/synch/workqueue2.c	(revision 0e4c5f0b7a21f09f35471fba7a626dff3790ce97)
@@ -129,5 +129,5 @@
 	res = test_custom_workq();
 	if (res) {
-		TPRINTF(res);
+		TPRINTF("%s", res);
 		err = res;
 	}
@@ -135,5 +135,5 @@
 	res = test_custom_workq_stop();
 	if (res) {
-		TPRINTF(res);
+		TPRINTF("%s", res);
 		err = res;
 	}
@@ -141,5 +141,5 @@
 	res = test_workqueue3();
 	if (res) {
-		TPRINTF(res);
+		TPRINTF("%s", res);
 		err = res;
 	}