Changes in kernel/generic/src/mm/backend_elf.c [98000fb:137691a] 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 base, start_anon;
-        size_t i;
+        uintptr_t start_anon;
 
         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;
 
@@ -257 +252 @@
                  * 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);
         }