Searched refs:end_root (Results 1 - 2 of 2) sorted by relevance
/barrelfish-2018-10-04/include/mdb/ |
H A D | types.h | 24 mdb_root_t end_root; member in struct:mdbnode
|
/barrelfish-2018-10-04/lib/mdb/ |
H A D | mdb_tree.c | 203 printf("%s%p{left=%p,right=%p,end=0x%08"PRIxGENPADDR",end_root=%"PRIu8"," 207 cte, node->left, node->right, node->end, node->end_root, 298 expected_end_root = MAX(expected_end_root, N(node->left)->end_root); 301 expected_end_root = MAX(expected_end_root, N(node->right)->end_root); 303 if (node->end_root != expected_end_root) { 311 if (get_type_root(C(cte)->type) == node->end_root) { 312 // only consider current cte's end if its root is node->end_root 315 if (node->left && N(node->left)->end_root == node->end_root) { 316 // only consider left child end if its end_root i 397 mdb_root_t end_root = get_type_root(C(cte)->type); local [all...] |
Completed in 64 milliseconds