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

/barrelfish-2018-10-04/usr/tests/mdbtests/
H A Dtest_ops_with_root.c107 r = mdb_check_invariants();
112 r = mdb_check_invariants();
/barrelfish-2018-10-04/include/mdb/
H A Dmdb_tree.h83 // ensures: mdb_check_invariants() && mdb_is_sane()
92 int mdb_check_invariants(void);
/barrelfish-2018-10-04/lib/mdb/
H A Dmdb.c203 if (mdb_check_invariants() != 0) {
H A Dmdb_tree.c151 int i = mdb_check_invariants();
353 mdb_check_invariants(void) function
357 printf("mdb_check_invariants() -> %d\n", res);

Completed in 47 milliseconds