Searched refs:MDB_RET_INVARIANT (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-2018-10-04/lib/mdb/ |
| H A D | mdb_tree.c | 49 #define MDB_RET_INVARIANT(cte, failure) mdb_dump_and_fail(cte, failure) macro
51 #define MDB_RET_INVARIANT(cte, failure) return failure macro
276 MDB_RET_INVARIANT(cte, MDB_INVARIANT_BOTHCHILDREN);
279 MDB_RET_INVARIANT(cte, MDB_INVARIANT_LEFT_LEVEL_LESS);
282 MDB_RET_INVARIANT(cte, MDB_INVARIANT_RIGHT_LEVEL_LEQ);
287 MDB_RET_INVARIANT(cte, MDB_INVARIANT_RIGHTRIGHT_LEVEL_LESS);
292 MDB_RET_INVARIANT(cte, MDB_INVARIANT_RIGHTLEFT_LEVEL_LESS);
304 MDB_RET_INVARIANT(cte, MDB_INVARIANT_END_IS_MAX);
324 MDB_RET_INVARIANT(cte, MDB_INVARIANT_END_IS_MAX);
330 MDB_RET_INVARIANT(ct
[all...] |
Completed in 78 milliseconds