Index: kernel/arch/mips32/src/mm/frame.c
===================================================================
--- kernel/arch/mips32/src/mm/frame.c	(revision 6c296a917519add5a6652d6d1907dab13ef85eff)
+++ kernel/arch/mips32/src/mm/frame.c	(revision 0d387d2adba60bc09a047a4aeb5fe9c90f7ad2cc)
@@ -44,7 +44,7 @@
 #include <print.h>
 
-#define ZERO_PAGE_MASK		TLB_PAGE_MASK_1M
-#define ZERO_FRAMES			4096
-#define ZERO_PAGE_WIDTH		20  /* 1M */
+#define ZERO_PAGE_MASK		TLB_PAGE_MASK_256K
+#define ZERO_FRAMES			16384
+#define ZERO_PAGE_WIDTH		18  /* 256K */
 #define ZERO_PAGE_SIZE		(1 << ZERO_PAGE_WIDTH)
 #define ZERO_PAGE_ASID		ASID_INVALID
@@ -96,5 +96,4 @@
  *
  */
-static bool frame_safe(pfn_t frame) __attribute__((unused));
 static bool frame_safe(pfn_t frame)
 {
@@ -242,5 +241,5 @@
 	count_t i;
 	for (i = 0; i < phys_regions_count; i++) {
-		printf("%#10x %10u\n",
+		printf("%#010x %10u\n",
 			PFN2ADDR(phys_regions[i].start), PFN2ADDR(phys_regions[i].count));
 	}