Changes in kernel/generic/src/mm/backend_elf.c [917a8c8:8f80c77] in mainline

File:

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

kernel/generic/src/mm/backend_elf.c

@@ -91 +91 @@
         if (!as_area_check_access(area, access))
                 return AS_PF_FAULT;
-        
-        if (addr < ALIGN_DOWN(entry->p_vaddr, PAGE_SIZE))
-                return AS_PF_FAULT;
-        
-        if (addr >= entry->p_vaddr + entry->p_memsz)
-                return AS_PF_FAULT;
-        
+
+        ASSERT((addr >= ALIGN_DOWN(entry->p_vaddr, PAGE_SIZE)) &&
+            (addr < entry->p_vaddr + entry->p_memsz));
         i = (addr - ALIGN_DOWN(entry->p_vaddr, PAGE_SIZE)) >> PAGE_WIDTH;
         base = (uintptr_t)