vspace_mmu_aware: fixed edge case in assertions.

Assertions didn't allow freeing the region starting at offset zero in the
vregion.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

diff --git a/lib/barrelfish/vspace/mmu_aware.c b/lib/barrelfish/vspace/mmu_aware.c
index b5f4cd5..8e6642b 100644 (file)
--- a/lib/barrelfish/vspace/mmu_aware.c
+++ b/lib/barrelfish/vspace/mmu_aware.c
@@ -222,11 +222,11 @@ errval_t vspace_mmu_aware_unmap(struct vspace_mmu_aware *state,
     genvaddr_t min_offset = 0;
     bool success = false;
 
-    assert(vspace_lvaddr_to_genvaddr(base) > vregion_get_base_addr(&state->vregion));
+    assert(vspace_lvaddr_to_genvaddr(base) >= vregion_get_base_addr(&state->vregion));
     assert(base + bytes == (lvaddr_t)eaddr);
 
-    assert(bytes < state->consumed);
-    assert(bytes < state->offset);
+    assert(bytes <= state->consumed);
+    assert(bytes <= state->offset);
 
     // Reduce offset
     state->offset -= bytes;