Index: arch/mips32/include/mm/page.h
===================================================================
--- arch/mips32/include/mm/page.h	(revision bc504ef2f35f18a589fe5c41042fd4a533bfe7cb)
+++ arch/mips32/include/mm/page.h	(revision 086d4fdc2702688cbbe860eb8b6fa914170b9d24)
@@ -30,4 +30,5 @@
 #define __mips32_PAGE_H__
 
+#define PAGE_WIDTH	FRAME_WIDTH
 #define PAGE_SIZE	FRAME_SIZE
 
Index: arch/mips32/src/mm/tlb.c
===================================================================
--- arch/mips32/src/mm/tlb.c	(revision bc504ef2f35f18a589fe5c41042fd4a533bfe7cb)
+++ arch/mips32/src/mm/tlb.c	(revision 086d4fdc2702688cbbe860eb8b6fa914170b9d24)
@@ -367,5 +367,5 @@
 	 */
 	if (!pte) {
-		printf("No such mapping: %P.\n", badvaddr);
+		printf("No such mapping.\n");
 		return NULL;
 	}