Index: kernel/generic/src/debug/panic.c
===================================================================
--- kernel/generic/src/debug/panic.c	(revision e43553758fa0974fa6ac8d0710b1699049d36e17)
+++ kernel/generic/src/debug/panic.c	(revision c8fccf5b75e9757a8b5d17f388f8c4e32b8d1a07)
@@ -97,5 +97,5 @@
 	if (THE != NULL) {
 		printf("pe=%" PRIun " thr=%p task=%p cpu=%p as=%p"
-		    " magic=%#" PRIx32 "\n", THE->preemption_disabled,
+		    " magic=%#" PRIx32 "\n", THE->preemption,
 		    THE->thread, THE->task, THE->cpu, THE->as, THE->magic);
 	} else