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