Searched refs:bddtree_addrange_rec (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | tree.c | 45 BddTree *bddtree_addrange_rec(BddTree *, BddTree *, int, int, int, int);
92 BddTree *bddtree_addrange_rec(BddTree *t, BddTree *prev, function
136 t->next = bddtree_addrange_rec(t->next, t, first, last, fixed, id);
144 bddtree_addrange_rec(t->nextlevel,NULL,first,last,fixed,id);
191 return bddtree_addrange_rec(t,NULL,first,last,fixed,id);
|
Completed in 26 milliseconds