Index: kernel/test/smpcall/smpcall1.c
===================================================================
--- kernel/test/smpcall/smpcall1.c	(revision 324e4717ec174d75eedcc4190b30e8268253122a)
+++ kernel/test/smpcall/smpcall1.c	(revision ba0eac5b6180231391668fac840a7447e4e86989)
@@ -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 ba0eac5b6180231391668fac840a7447e4e86989)
@@ -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 ba0eac5b6180231391668fac840a7447e4e86989)
@@ -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;
 	}