Index: arch/amd64/src/mm/page.c
===================================================================
--- arch/amd64/src/mm/page.c	(revision feb1a4141fd0d63c75a526e5c9edb96d92157e55)
+++ arch/amd64/src/mm/page.c	(revision f10c72e4e1f10cc38d817f852eb7a2dab4ee0259)
@@ -54,5 +54,5 @@
 		 */
 		for (i = 0; i < config.memory_size/FRAME_SIZE; i++) {
-			map_page_to_frame(PA2KA(i * PAGE_SIZE), i * PAGE_SIZE, PAGE_CACHEABLE | PAGE_EXEC, KA2PA(dba));
+			page_mapping_insert(PA2KA(i * PAGE_SIZE), i * PAGE_SIZE, PAGE_CACHEABLE | PAGE_EXEC, KA2PA(dba));
 		}