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