Index: arch/mips32/src/mm/tlb.c
===================================================================
--- arch/mips32/src/mm/tlb.c	(revision bc504ef2f35f18a589fe5c41042fd4a533bfe7cb)
+++ arch/mips32/src/mm/tlb.c	(revision fb10289bf2bf13f3538082bb9a71b6d317f1c27c)
@@ -367,5 +367,5 @@
 	 */
 	if (!pte) {
-		printf("No such mapping: %P.\n", badvaddr);
+		printf("No such mapping.\n");
 		return NULL;
 	}