Index: kernel/test/smpcall/smpcall1.c
===================================================================
--- kernel/test/smpcall/smpcall1.c	(revision 2e16033115d5c1a9a9095d87b471d2db4bf1dc88)
+++ kernel/test/smpcall/smpcall1.c	(revision e8471b96a1978ca7e8a7ad8a1fb935a55264087b)
@@ -134,5 +134,5 @@
 			if (call_cnt[i] != exp_calls) {
 				ok = false;
-				TPRINTF("Error: %zu instead of %zu cpu%u's calls were"
+				TPRINTF("Error: %zu instead of %zu cpu%zu's calls were"
 					" acknowledged.\n", call_cnt[i], exp_calls, i);
 			} 
Index: kernel/test/synch/workq-test-core.h
===================================================================
--- kernel/test/synch/workq-test-core.h	(revision 2e16033115d5c1a9a9095d87b471d2db4bf1dc88)
+++ kernel/test/synch/workq-test-core.h	(revision e8471b96a1978ca7e8a7ad8a1fb935a55264087b)
@@ -190,9 +190,9 @@
 	for (int i = 0; i < WAVES; ++i) {
 		if (atomic_get(&call_cnt[i]) == exp_call_cnt) {
-			TPRINTF("Ok: %u calls in wave %d, as expected.\n",
+			TPRINTF("Ok: %" PRIua " calls in wave %d, as expected.\n",
 				atomic_get(&call_cnt[i]), i);
 		} else {
 			success = false;
-			TPRINTF("Error: %u calls in wave %d, but %zu expected.\n",
+			TPRINTF("Error: %" PRIua " calls in wave %d, but %zu expected.\n",
 				atomic_get(&call_cnt[i]), i, exp_call_cnt);
 		} 
