Index: arch/mips32/src/mm/page.c
===================================================================
--- arch/mips32/src/mm/page.c	(revision ef67bab91625cc0f0eaecd741316d269bbfd5094)
+++ arch/mips32/src/mm/page.c	(revision 758e0656a7ae1a5fb7f2816ba0245ee9cf2ec832)
@@ -29,21 +29,8 @@
 #include <arch/mm/page.h>
 #include <genarch/mm/page_pt.h>
-#include <arch/mm/frame.h>
-#include <mm/frame.h>
 #include <mm/page.h>
-#include <arch/types.h>
-#include <memstr.h>
-
-pte_t *PTL0 = NULL;
 
 void page_arch_init(void)
 {
-	__address ptl0;
-
 	page_operations = &page_pt_operations;
-	
-	ptl0 = frame_alloc(FRAME_KA | FRAME_PANIC, ONE_FRAME, NULL);
-	memsetb(ptl0, FRAME_SIZE, 0);
-	
-	SET_PTL0_ADDRESS(KA2PA(ptl0));
 }