diff --git a/libsel4utils/src/vspace/vspace.c b/libsel4utils/src/vspace/vspace.c
index af21c24..63f15b4 100644
--- a/libsel4utils/src/vspace/vspace.c
+++ b/libsel4utils/src/vspace/vspace.c
@@ -550,6 +550,7 @@
 
     *result = vaddr;
     reservation->malloced = 0;
+    reservation->rights_deferred = false;
     perform_reservation(vspace, reservation, (uintptr_t) vaddr, size, rights, cacheable);
     return 0;
 }
@@ -601,6 +602,7 @@
         return -1;
     }
     reservation->malloced = 0;
+    reservation->rights_deferred = false;
     perform_reservation(vspace, reservation, (uintptr_t) vaddr, size, rights, cacheable);
     return 0;
 }