commit a60a14c226c944eb8d71959e23662892106b8aec
author James Ye <james.ye@data61.csiro.au> Fri Jan 18 11:21:08 2019 +1100
committer James Ye <james.ye@data61.csiro.au> Fri Jan 18 11:21:08 2019 +1100
tree 7a71f16533f3ce35bdb443b4d762ef25bbdef5c9
parent a1adf1d0a8b97890e60d3433ce43da455fc0821f

libsel4allocman: use correct word size

libsel4allocman/src/cspace/two_level.c

diff --git a/libsel4allocman/src/cspace/two_level.c b/libsel4allocman/src/cspace/two_level.c
index e60856a..9420fdf 100644
--- a/libsel4allocman/src/cspace/two_level.c
+++ b/libsel4allocman/src/cspace/two_level.c
@@ -215,8 +215,8 @@
     cspacepath_t path;
     cspace_single_level_destroy(alloc, &cspace->second_levels[index]->second_level);
     if (cspace->second_levels[index]->cookie_valid) {
-        int error UNUSED;
-        error = seL4_CNode_Delete(cspace->config.cnode, index, 32 - cspace->config.level_two_bits);
+        int error = seL4_CNode_Delete(cspace->config.cnode, index,
+                                      seL4_WordBits - cspace->config.level_two_bits);
         assert(error == seL4_NoError);
         allocman_utspace_free(alloc, cspace->second_levels[index]->cookie, cspace->config.level_two_bits + seL4_SlotBits);
     }