Index: kernel/generic/src/debug/panic.c
===================================================================
--- kernel/generic/src/debug/panic.c	(revision 525c5ac5b9fa9910f16d49c50efb5ca3369bc0e6)
+++ kernel/generic/src/debug/panic.c	(revision 90c340fbb6e99eb264eb9d03d1501acb54b1f097)
@@ -62,5 +62,5 @@
 		printf("\n");
 	} else if (cat == PANIC_BADTRAP) {
-		printf("bad trap %" PRIun ". %s\n", address,
+		printf("bad trap %" PRIuPTR ". %s\n", address,
 		    BANNER_RIGHT);
 		if (fmt) {
@@ -96,5 +96,5 @@
 	printf("THE=%p: ", THE);
 	if (THE != NULL) {
-		printf("pe=%" PRIun " thread=%p task=%p cpu=%p as=%p"
+		printf("pe=%" PRIuPTR " thread=%p task=%p cpu=%p as=%p"
 		    " magic=%#" PRIx32 "\n", THE->preemption,
 		    THE->thread, THE->task, THE->cpu, THE->as, THE->magic);