Index: kernel/generic/src/debug/panic.c
===================================================================
--- kernel/generic/src/debug/panic.c	(revision adec6a290ce0b4b7d5a886f2ccf002bb1515a984)
+++ kernel/generic/src/debug/panic.c	(revision 5e3fa9dbfffc978cdcfdaaea9fc6a50dbb0bca1a)
@@ -96,6 +96,6 @@
 	printf("THE=%p: ", THE);
 	if (THE != NULL) {
-		printf("pd=%" PRIun " thread=%p task=%p cpu=%p as=%p"
-		    " magic=%#" PRIx32 "\n", THE->preemption_disabled,
+		printf("pe=%" PRIun " thread=%p task=%p cpu=%p as=%p"
+		    " magic=%#" PRIx32 "\n", THE->preemption,
 		    THE->thread, THE->task, THE->cpu, THE->as, THE->magic);