Index: kernel/test/synch/workqueue2.c
===================================================================
--- kernel/test/synch/workqueue2.c	(revision 205832be3aac366938f4e110d02825acf0142693)
+++ kernel/test/synch/workqueue2.c	(revision 795e2bfe0ca714517bdac2b7abae8091c5f88ee9)
@@ -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;
 	}