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