Changes in kernel/generic/src/mm/backend_elf.c [d99c1d2:98000fb] in mainline

File:

• kernel/generic/src/mm/backend_elf.c (modified) (3 diffs)

kernel/generic/src/mm/backend_elf.c

@@ -38 +38 @@
 #include <lib/elf.h>
 #include <debug.h>
-#include <typedefs.h>
+#include <arch/types.h>
 #include <mm/as.h>
 #include <mm/frame.h>
@@ -232 +232 @@
 void elf_frame_free(as_area_t *area, uintptr_t page, uintptr_t frame)
 {
+        elf_header_t *elf = area->backend_data.elf;
         elf_segment_header_t *entry = area->backend_data.segment;
-        uintptr_t start_anon;
+        uintptr_t base, start_anon;
+        size_t i;
 
         ASSERT((page >= ALIGN_DOWN(entry->p_vaddr, PAGE_SIZE)) &&
             (page < entry->p_vaddr + entry->p_memsz));
+        i = (page - ALIGN_DOWN(entry->p_vaddr, PAGE_SIZE)) >> PAGE_WIDTH;
+        base = (uintptr_t) (((void *) elf) +
+            ALIGN_DOWN(entry->p_offset, FRAME_SIZE));
         start_anon = entry->p_vaddr + entry->p_filesz;
 
@@ -252 +257 @@
                  * lower part is backed by the ELF image and the upper is
                  * anonymous). In any case, a frame needs to be freed.
-                 */
+                 */ 
                 frame_free(frame);
         }