Changes in kernel/generic/src/proc/scheduler.c [feeac0d:550523f5] in mainline

File:

• kernel/generic/src/proc/scheduler.c (modified) (1 diff)

kernel/generic/src/proc/scheduler.c

@@ -517 +517 @@
         
 #ifdef SCHEDULER_VERBOSE
-        printf("cpu%u: tid %" PRIu64 " (priority=%d, ticks=%" PRIu64 
-            ", nrdy=%ld)\n", CPU->id, THREAD->tid, THREAD->priority,
+        printf("cpu%u: tid %" PRIu64 " (priority=%d, ticks=%" PRIu64
+            ", nrdy=%" PRIua ")\n", CPU->id, THREAD->tid, THREAD->priority,
             THREAD->ticks, atomic_get(&CPU->nrdy));
 #endif