Changes in kernel/generic/src/proc/scheduler.c [7e752b2:ee42e43] in mainline

File:

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

kernel/generic/src/proc/scheduler.c

@@ -727 +727 @@
                 irq_spinlock_lock(&cpus[cpu].lock, true);
                 
-                printf("cpu%u: address=%p, nrdy=%" PRIua ", needs_relink=%zu\n",
+                printf("cpu%u: address=%p, nrdy=%ld, needs_relink=%" PRIs "\n",
                     cpus[cpu].id, &cpus[cpu], atomic_get(&cpus[cpu].nrdy),
                     cpus[cpu].needs_relink);