Index: kernel/arch/mips32/src/mm/frame.c
===================================================================
--- kernel/arch/mips32/src/mm/frame.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/arch/mips32/src/mm/frame.c	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -290,5 +290,5 @@
 	for (i = 0; i < phys_regions_count; i++) {
 		printf("%#010x %10u\n",
-			PFN2ADDR(phys_regions[i].start), PFN2ADDR(phys_regions[i].count));
+		    PFN2ADDR(phys_regions[i].start), PFN2ADDR(phys_regions[i].count));
 	}
 }