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

/barrelfish-2018-10-04/lib/mdb/
H A Dmdb_tree.c70 // doing them anyway in CHECK_INVARIANTS_SUB
78 #define CHECK_INVARIANTS_SUB(cte) mdb_check_subtree_invariants(cte) macro
80 #define CHECK_INVARIANTS_SUB(cte) ((void)0) macro
87 CHECK_INVARIANTS_SUB(valid_cte); \
90 CHECK_INVARIANTS_SUB(valid_cte); \
95 CHECK_INVARIANTS_SUB(valid_cte); \
100 #define MDB_TRACE_ENTER(valid_cte, args_fmt, ...) CHECK_INVARIANTS_SUB(valid_cte)
102 CHECK_INVARIANTS_SUB(valid_cte); \
106 CHECK_INVARIANTS_SUB(valid_cte); \

Completed in 32 milliseconds