Index: kernel/genarch/src/mm/page_pt.c
===================================================================
--- kernel/genarch/src/mm/page_pt.c	(revision c868e2d76f25a71fcfed3d81a934a16b64b0ce81)
+++ kernel/genarch/src/mm/page_pt.c	(revision 9117ef9b5b6eacdc1d93b8042e390ca7c07d8df1)
@@ -322,6 +322,7 @@
 
 	ASSERT(ispwr2(ptl0step));
-
-	for (addr = ALIGN_DOWN(base, ptl0step); addr < base + size;
+	ASSERT(size > 0);
+
+	for (addr = ALIGN_DOWN(base, ptl0step); addr - 1 < base + size - 1;
 	    addr += ptl0step) {
 		uintptr_t l1;