Changes in kernel/genarch/src/mm/page_pt.c [a2789d2:c868e2d] in mainline

File:

• kernel/genarch/src/mm/page_pt.c (modified) (1 diff)

kernel/genarch/src/mm/page_pt.c

@@ -322 +322 @@
 
         ASSERT(ispwr2(ptl0step));
-        ASSERT(size > 0);
-
-        for (addr = ALIGN_DOWN(base, ptl0step); addr - 1 < base + size - 1;
+
+        for (addr = ALIGN_DOWN(base, ptl0step); addr < base + size;
             addr += ptl0step) {
                 uintptr_t l1;