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

/barrelfish-2018-10-04/lib/mdb/
H A Dmdb_tree.c1029 genpaddr_t snd_end = snd_beg + get_size(C(second)); local
1031 assert(snd_beg <= beg && snd_end >= end);
1054 genpaddr_t snd_end = snd_beg + get_size(C(second)); local
1056 assert(mdb_is_inside(address, end, snd_beg, snd_end));
1080 genpaddr_t snd_end = snd_beg + get_size(C(second)); local
1084 assert(snd_end > beg);
1088 assert(snd_end != end);
1090 assert((snd_beg < beg) == (snd_end < end));

Completed in 41 milliseconds