Searched refs:CHECK_INVARIANTS (Results 1 - 1 of 1) sorted by relevance
/barrelfish-2018-10-04/lib/mdb/ |
H A D | mdb_tree.c | 56 #define CHECK_INVARIANTS(root, cte, reach) \ macro 64 #define CHECK_INVARIANTS(root, cte, reach) ((void)0) macro 71 #undef CHECK_INVARIANTS macro 72 #define CHECK_INVARIANTS(root, cte, reach) \ macro 630 CHECK_INVARIANTS(mdb_root, new_node, true); 851 CHECK_INVARIANTS(mdb_root, target, true); 860 CHECK_INVARIANTS(mdb_root, target, false);
|
Completed in 82 milliseconds