Index: arch/mips32/src/mm/tlb.c
===================================================================
--- arch/mips32/src/mm/tlb.c	(revision 1bb2e7a3ca385e067db5d9c4c5654c28f92af609)
+++ arch/mips32/src/mm/tlb.c	(revision fbf7b4c84e6dfb4548cc87160234f53d9547af3c)
@@ -345,6 +345,6 @@
 		sym2 = s;
 
-	fault_if_from_uspace(istate, "TLB Refill Exception on %P", cp0_badvaddr_read());
-	panic("%X: TLB Refill Exception at %X(%s<-%s)\n", cp0_badvaddr_read(), istate->epc, symbol, sym2);
+	fault_if_from_uspace(istate, "TLB Refill Exception on %p", cp0_badvaddr_read());
+	panic("%x: TLB Refill Exception at %x(%s<-%s)\n", cp0_badvaddr_read(), istate->epc, symbol, sym2);
 }
 
@@ -357,6 +357,6 @@
 	if (s)
 		symbol = s;
-	fault_if_from_uspace(istate, "TLB Invalid Exception on %P", cp0_badvaddr_read());
-	panic("%X: TLB Invalid Exception at %X(%s)\n", cp0_badvaddr_read(), istate->epc, symbol);
+	fault_if_from_uspace(istate, "TLB Invalid Exception on %p", cp0_badvaddr_read());
+	panic("%x: TLB Invalid Exception at %x(%s)\n", cp0_badvaddr_read(), istate->epc, symbol);
 }
 
@@ -368,6 +368,6 @@
 	if (s)
 		symbol = s;
-	fault_if_from_uspace(istate, "TLB Modified Exception on %P", cp0_badvaddr_read());
-	panic("%X: TLB Modified Exception at %X(%s)\n", cp0_badvaddr_read(), istate->epc, symbol);
+	fault_if_from_uspace(istate, "TLB Modified Exception on %p", cp0_badvaddr_read());
+	panic("%x: TLB Modified Exception at %x(%s)\n", cp0_badvaddr_read(), istate->epc, symbol);
 }