Changes in kernel/generic/src/mm/backend_elf.c [32817cc:d56382d] in mainline

File:

• kernel/generic/src/mm/backend_elf.c (modified) (1 diff)

kernel/generic/src/mm/backend_elf.c

@@ -318 +318 @@
                         dirty = true;
                 } else {
-                        pte_t *pte = page_mapping_find(AS_KERNEL,
-                            base + i * FRAME_SIZE, true);
-
-                        ASSERT(pte);
-                        ASSERT(PTE_PRESENT(pte));
-
-                        frame = PTE_GET_FRAME(pte);
+                        frame = KA2PA(base + i * FRAME_SIZE);
                 }       
         } else if (upage >= start_anon) {