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

/barrelfish-2018-10-04/kernel/include/
H A Dkcb.h100 mdb_init(kcb_current);
/barrelfish-2018-10-04/usr/bench/mdb_bench/
H A Dmdb_bench.h17 #define RESET_ROOT() do { mdb_init(&(struct kcb){ .mdb_root = 0 }); } while(0)
/barrelfish-2018-10-04/include/mdb/
H A Dmdb_tree.h84 errval_t mdb_init(struct kcb *k);
/barrelfish-2018-10-04/usr/tests/mdbtests/
H A Dtest_range_query.c247 mdb_init(&clear);
/barrelfish-2018-10-04/kernel/
H A Dstartup.c141 mdb_init(kcb_current);
/barrelfish-2018-10-04/kernel/arch/x86/
H A Dstartup_x86.c513 errval_t err = mdb_init(kcb_current);
/barrelfish-2018-10-04/lib/mdb/
H A Dmdb_tree.c128 mdb_init(struct kcb *k) function

Completed in 66 milliseconds