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

/barrelfish-master/include/mdb/
H A Dmdb_tree.h55 static inline const char *mdb_invariant_to_str(enum mdb_invariant i) function
/barrelfish-master/lib/mdb/
H A Dmdb_tree.c47 cte, mdb_invariant_to_str(failure), failure);
153 printf("mdb invariant %s violated\n", mdb_invariant_to_str(i));

Completed in 37 milliseconds