Changes in kernel/generic/src/proc/scheduler.c [ef9a2a8:e1326cf] in mainline

File:

• kernel/generic/src/proc/scheduler.c (modified) (2 diffs)

kernel/generic/src/proc/scheduler.c

@@ -64 +64 @@
 #include <stacktrace.h>
 
-//#define       SCHEDULER_VERBOSE 1
-
 static void scheduler_separated_stack(void);
 
@@ -520 +518 @@
 #ifdef SCHEDULER_VERBOSE
         printf("cpu%u: tid %" PRIu64 " (priority=%d, ticks=%" PRIu64 
-            ", nrdy=%d)\n", CPU->id, THREAD->tid, THREAD->priority,
+            ", nrdy=%ld)\n", CPU->id, THREAD->tid, THREAD->priority,
             THREAD->ticks, atomic_get(&CPU->nrdy));
 #endif