commit a949abb30976e58585facc0b109e1ae1c711d44d
author Yanyan Shen <yanyan.shen@nicta.com.au> Tue Nov 03 12:34:55 2015 +1100
committer Adrian Danis <Adrian.Danis@nicta.com.au> Wed Dec 09 11:28:04 2015 +1100
tree a86fe67b308fcae944d421f51a646743f4a7be12
parent cf9bb7a44f68d16d431758e2741621064ab06a90

libsel4simple: remove hardcoded cnode size bit

libsel4simple/src/simple.c

diff --git a/libsel4simple/src/simple.c b/libsel4simple/src/simple.c
index 776d98f..3c41d64 100644
--- a/libsel4simple/src/simple.c
+++ b/libsel4simple/src/simple.c
@@ -58,18 +58,18 @@
     int i = 0;
 
     /* Keep trying to find the next free slot by seeing if we can copy something there */
-    seL4_Error error = seL4_CNode_Copy(cnode, simple_get_cap_count(simple) + i, 32, cnode, cnode, 32, seL4_AllRights);
+    seL4_Error error = seL4_CNode_Copy(cnode, simple_get_cap_count(simple) + i, seL4_WordBits, cnode, cnode, seL4_WordBits, seL4_AllRights);
     while(error == seL4_DeleteFirst) {
         i++;
-        error = seL4_CNode_Copy(cnode, simple_get_cap_count(simple) + i, 32, cnode, cnode, 32, seL4_AllRights);
+        error = seL4_CNode_Copy(cnode, simple_get_cap_count(simple) + i, seL4_WordBits, cnode, cnode, seL4_WordBits, seL4_AllRights);
     }
 
     if(error != seL4_NoError) {
-        error = seL4_CNode_Delete(cnode, simple_get_cap_count(simple) + i, 32);
+        error = seL4_CNode_Delete(cnode, simple_get_cap_count(simple) + i, seL4_WordBits);
         return error;
     }
 
-    error = seL4_CNode_Delete(cnode, simple_get_cap_count(simple) + i, 32);
+    error = seL4_CNode_Delete(cnode, simple_get_cap_count(simple) + i, seL4_WordBits);
     if(error != seL4_NoError) {
         return error;
     }
@@ -84,11 +84,11 @@
     simple_t *simple = (simple_t *) data;
 
     path->capPtr = slot;
-    path->capDepth = 32;
+    path->capDepth = seL4_WordBits;
     path->root = simple_get_cnode(simple);
     path->dest = simple_get_cnode(simple);
     path->offset = slot;
-    path->destDepth = 32;
+    path->destDepth = seL4_WordBits;
 }
 
 void simple_make_vka(simple_t *simple, vka_t *vka) {