Index: arch/mips32/src/mm/page.c
===================================================================
--- arch/mips32/src/mm/page.c	(revision 3bb9c99d4ee8a357a69e5173c066c31bb878e538)
+++ arch/mips32/src/mm/page.c	(revision beb39ee30d11ea37ff22e86ba249687416ff6540)
@@ -40,5 +40,5 @@
 	__address ptl0;
 	
-	ptl0 = frame_alloc(FRAME_KA | FRAME_PANIC, 0);
+	ptl0 = frame_alloc(FRAME_KA | FRAME_PANIC, ONE_FRAME);
 	memsetb(ptl0, FRAME_SIZE, 0);