Index: arch/mips32/src/mm/tlb.c
===================================================================
--- arch/mips32/src/mm/tlb.c	(revision cc205f1f38b5517610765fe3a34396d52e75eca2)
+++ arch/mips32/src/mm/tlb.c	(revision 92e54312b23a0d09a6d3892f494d70a5f3855624)
@@ -87,6 +87,13 @@
 	__address badvaddr;
 	pte_t *pte;
-	
+
+// debug	
+	entry_hi_t hi;
+
 	badvaddr = cp0_badvaddr_read();
+
+// debug
+	hi.value = cp0_entry_hi_read();
+	printf("TLB Refill: hi.vnp2=%X\n", hi.vpn2);
 	
 	spinlock_lock(&VM->lock);