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

File:

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

kernel/generic/src/mm/backend_elf.c

@@ -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);
         }