Index: arch/ppc32/src/mm/tlb.c
===================================================================
--- arch/ppc32/src/mm/tlb.c	(revision 9a68b34d997aee7a6bb46e96ef6da51cb260bcaf)
+++ arch/ppc32/src/mm/tlb.c	(revision 7dd1787643001828803b90e39bfe964bead011fa)
@@ -162,10 +162,10 @@
 	pte->a = 1;
 	
-	page = ADDR2PFN(badvaddr);
+	page = (badvaddr >> 12) & 0xffff;
 	api = (badvaddr >> 22) & 0x3f;
 	asm volatile (
 		"mfsrin %0, %1\n"
 		: "=r" (vsid)
-		: "r" (badvaddr >> 28)
+		: "r" (badvaddr)
 	);