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

File:

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

kernel/generic/src/proc/scheduler.c

@@ -61 +61 @@
 #include <cpu.h>
 #include <print.h>
+#include <log.h>
 #include <debug.h>
 #include <stacktrace.h>
@@ -517 +518 @@
         
 #ifdef SCHEDULER_VERBOSE
-        printf("cpu%u: tid %" PRIu64 " (priority=%d, ticks=%" PRIu64 
-            ", nrdy=%ld)\n", CPU->id, THREAD->tid, THREAD->priority,
+        log(LF_OTHER, LVL_DEBUG,
+            "cpu%u: tid %" PRIu64 " (priority=%d, ticks=%" PRIu64
+            ", nrdy=%" PRIua ")", CPU->id, THREAD->tid, THREAD->priority,
             THREAD->ticks, atomic_get(&CPU->nrdy));
 #endif
@@ -663 +665 @@
                                 
 #ifdef KCPULB_VERBOSE
-                                printf("kcpulb%u: TID %" PRIu64 " -> cpu%u, "
-                                    "nrdy=%ld, avg=%ld\n", CPU->id, t->tid,
+                                log(LF_OTHER, LVL_DEBUG,
+                                    "kcpulb%u: TID %" PRIu64 " -> cpu%u, "
+                                    "nrdy=%ld, avg=%ld", CPU->id, t->tid,
                                     CPU->id, atomic_get(&CPU->nrdy),
                                     atomic_get(&nrdy) / config.cpu_active);