Searched refs:mdb_is_reachable (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/lib/mdb/
H A Dmdb_tree.c58 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