Index: kernel/generic/src/mm/backend_elf.c
===================================================================
--- kernel/generic/src/mm/backend_elf.c	(revision 7cb567cd74caf371a5b1b053095a12b9bd1704a6)
+++ kernel/generic/src/mm/backend_elf.c	(revision bd72c3e96c6695500538eeb7ff16155b0844005d)
@@ -327,5 +327,5 @@
 				btree_insert(&area->sh_info->pagemap,
 				    (base + j * PAGE_SIZE) - area->base,
-					(void *) PTE_GET_FRAME(pte), NULL);
+				    (void *) PTE_GET_FRAME(pte), NULL);
 				page_table_unlock(area->as, false);