1 files changed, 2 insertions, 3 deletions
diff --git a/arch/x86/machine/pmap.c b/arch/x86/machine/pmap.c
index ea0c21cf..1b5e6c99 100644
--- a/arch/x86/machine/pmap.c
+++ b/arch/x86/machine/pmap.c
@@ -370,10 +370,9 @@ pmap_growkernel(unsigned long va)
     pmap_pte_t *pte;
     phys_addr_t pa;
 
-    assert(pmap_klimit < va);
-
     start = pmap_klimit;
-    va = P2ROUND(va, 1 << PMAP_L2_SHIFT) - 1;
+    va = P2END(va, 1 << PMAP_L2_SHIFT) - 1;
+    assert(start < va);
 
     for (level = PMAP_NR_LEVELS; level > 1; level--) {
         pt_level = &pmap_pt_levels[level - 1];