Index: kernel/arch/arm32/src/mm/page.c
===================================================================
--- kernel/arch/arm32/src/mm/page.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/arch/arm32/src/mm/page.c	(revision 36470ce8f1d0f0e1ac58746fc8bd8bf3bed80974)
@@ -63,5 +63,5 @@
 	for (uintptr_t cur = PHYSMEM_START_ADDR;
 	    cur < min(KA2PA(config.identity_base) +
-	        config.identity_size, config.physmem_end);
+	    config.identity_size, config.physmem_end);
 	    cur += FRAME_SIZE)
 		page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, flags);