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

/barrelfish-2018-10-04/lib/mdb/
H A Dmdb_tree.c1028 genpaddr_t fst_end = fst_beg + get_size(C(first)); local
1030 assert(fst_beg <= beg && fst_end >= end);
1053 genpaddr_t fst_end = fst_beg + get_size(C(first)); local
1055 assert(mdb_is_inside(address, end, fst_beg, fst_end));
1079 genpaddr_t fst_end = fst_beg + get_size(C(first)); local
1083 assert(fst_end > beg);
1087 assert(fst_end != end);
1089 assert((fst_beg < beg) == (fst_end < end));

Completed in 41 milliseconds