Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 31872f7e7a30e53e2e8f02bd6b1c3eb254af29a9)
+++ kernel/generic/src/proc/scheduler.c	(revision c7429547358535d8d60f28154ac021e54964726e)
@@ -659,5 +659,5 @@
 				log(LF_OTHER, LVL_DEBUG,
 				    "kcpulb%u: TID %" PRIu64 " -> cpu%u, "
-				    "nrdy=%ld, avg=%ld", CPU->id, t->tid,
+				    "nrdy=%ld, avg=%ld", CPU->id, thread->tid,
 				    CPU->id, atomic_load(&CPU->nrdy),
 				    atomic_load(&nrdy) / config.cpu_active);