Searched refs:mdb_is_reachable (Results 1 - 1 of 1) sorted by relevance
/barrelfish-2018-10-04/lib/mdb/ |
H A D | mdb_tree.c | 58 if (mdb_is_reachable(root, cte) != reach) { \ 59 panic("mdb_is_reachable(%p,%p) != %d", root, cte, reach); \ 74 if (mdb_is_reachable(root, cte) != reach) { \ 75 panic("mdb_is_reachable(%p,%p) != %d", root, cte, reach); \ 363 mdb_is_reachable(struct cte *root, struct cte *cte) function 372 if (mdb_is_reachable(N(root)->left, cte)) { 377 if (mdb_is_reachable(N(root)->right, cte)) { 679 assert(mdb_is_reachable(mdb_root, first)); 680 assert(mdb_is_reachable(mdb_root, second)); 702 assert(mdb_is_reachable(mdb_roo [all...] |
Completed in 40 milliseconds