Index: sys/amd64/amd64/pmap.c
===================================================================
--- sys/amd64/amd64/pmap.c
+++ sys/amd64/amd64/pmap.c
@@ -8441,7 +8441,7 @@
 			KASSERT((va & PDPMASK) == 0,
 			    ("PDPMASK bit set, va %#lx pdpe %#lx pdp %#lx", va,
 			    (u_long)pdpe, pdp));
-			KASSERT(len <= NBPDP,
+			KASSERT(len >= NBPDP,
 			    ("len < NBPDP, sva %#lx va %#lx pdpe %#lx pdp %#lx "
 			    "len %#lx", sva, va, (u_long)pdpe, pdp, len));
 			*pdpe = 0;
@@ -8457,7 +8457,7 @@
 			KASSERT((va & PDRMASK) == 0,
 			    ("PDRMASK bit set, va %#lx pde %#lx pd %#lx", va,
 			    (u_long)pde, pd));
-			KASSERT(len <= NBPDR,
+			KASSERT(len >= NBPDR,
 			    ("len < NBPDR, sva %#lx va %#lx pde %#lx pd %#lx "
 			    "len %#lx", sva, va, (u_long)pde, pd, len));
 			pde_store(pde, 0);