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

/barrelfish-2018-10-04/lib/mdb/
H A Dmdb_tree.c310 genpaddr_t expected_end = 0; local
313 expected_end = get_address(C(cte))+get_size(C(cte));
317 expected_end = MAX(expected_end, N(node->left)->end);
321 expected_end = MAX(expected_end, N(node->right)->end);
323 if (node->end != expected_end) {

Completed in 35 milliseconds