commit 1de25d1106fe79d77d3f318620fd510d749fad38
author Alison Felizzi <Alison.Felizzi@data61.csiro.au> Wed Aug 14 13:26:52 2019 +1000
committer Alison Felizzi <Alison.Felizzi@data61.csiro.au> Wed Aug 14 13:26:52 2019 +1000
tree a6ef7151d588937ffcdd010df8b7f2940acfc778
parent 08f7cbdbec18c89b30e23017e63e79c0655dc8ab

sel4utils: Default value of 'rights_reserved' flag

Updated reservation creation to set the default value of the
rights deferred flag.

libsel4utils/src/vspace/vspace.c

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;
 }