Index: arch/mips32/src/mm/as.c
===================================================================
--- arch/mips32/src/mm/as.c	(revision fc1e4f6fda536ab9535536af72ca0eb08473cd3f)
+++ arch/mips32/src/mm/as.c	(revision b5e0bb89845d4997122e319a7f34a8545ed548ff)
@@ -28,4 +28,5 @@
 
 #include <arch/mm/as.h>
+#include <genarch/mm/as_pt.h>
 #include <arch/mm/tlb.h>
 #include <mm/tlb.h>
@@ -33,4 +34,10 @@
 #include <arch/cp0.h>
 #include <arch.h>
+
+/** Architecture dependent address space init. */
+void as_arch_init(void)
+{
+        as_operations = &as_pt_operations;
+}
 
 /** Install address space.
@@ -57,2 +64,3 @@
 	interrupts_restore(ipl);
 }
+
Index: arch/mips32/src/mm/tlb.c
===================================================================
--- arch/mips32/src/mm/tlb.c	(revision fc1e4f6fda536ab9535536af72ca0eb08473cd3f)
+++ arch/mips32/src/mm/tlb.c	(revision b5e0bb89845d4997122e319a7f34a8545ed548ff)
@@ -340,5 +340,5 @@
 	 * Check if the mapping exists in page tables.
 	 */	
-	pte = page_mapping_find(AS, badvaddr, 0);
+	pte = page_mapping_find(AS, badvaddr);
 	if (pte && pte->lo.v) {
 		/*
@@ -357,5 +357,5 @@
 			 * The mapping ought to be in place.
 			 */
-			pte = page_mapping_find(AS, badvaddr, 0);
+			pte = page_mapping_find(AS, badvaddr);
 			ASSERT(pte && pte->lo.v);
 			return pte;