Index: kernel/test/thread/thread1.c
===================================================================
--- kernel/test/thread/thread1.c	(revision 6c441cf8f35799043d891a3a77032e1b0e49112b)
+++ kernel/test/thread/thread1.c	(revision e00938c830a66b90fc18e4a1a29bd6099075f762)
@@ -49,5 +49,5 @@
 	while (atomic_get(&finish)) {
 		if (!sh_quiet)
-			printf("%llu ", THREAD->tid);
+			printf("%" PRIu64 " ", THREAD->tid);
 		thread_usleep(100000);
 	}