Index: arch/sparc64/src/mm/tlb.c
===================================================================
--- arch/sparc64/src/mm/tlb.c	(revision 280a27e37f59414f14a49f3d48620945ee8580e0)
+++ arch/sparc64/src/mm/tlb.c	(revision 12c7f27b4fc44ac2d4bb7ef6ea741ea7a8ad1dff)
@@ -173,6 +173,6 @@
 		tpc_str = get_symtab_entry(tpc);
 
-		printf("Faulting page: %P, ASID=%d\n", tag.vpn * PAGE_SIZE, tag.context);
-		printf("TPC=%P, (%s)\n", tpc, tpc_str ? tpc_str : "?");
+		printf("Faulting page: %p, ASID=%d\n", tag.vpn * PAGE_SIZE, tag.context);
+		printf("TPC=%p, (%s)\n", tpc, tpc_str ? tpc_str : "?");
 		panic("%s\n", __FUNCTION__);
 	}