Index: kernel/generic/src/syscall/syscall.c
===================================================================
--- kernel/generic/src/syscall/syscall.c	(revision 3ce7f082ff5b6347e9379564c41ac66808180ade)
+++ kernel/generic/src/syscall/syscall.c	(revision f74bbaf20e8d8be55495c56affc5b17ef6ea2bf0)
@@ -101,5 +101,5 @@
 		rc = syscall_table[id](a1, a2, a3, a4);
 	else {
-		klog_printf("TASK %lld: Unknown syscall id %d",TASK->taskid,id);
+		klog_printf("TASK %llu: Unknown syscall id %d",TASK->taskid,id);
 		task_kill(TASK->taskid);
 		thread_exit();