Lines Matching refs:level
54 // PP switch to toggle top-level checking of invariants
204 "level=%"PRIu8",address=0x%08"PRIxGENPADDR",size=0x%08"PRIx64","
208 node->level, get_address(C(cte)), get_size(C(cte)),
275 if (node->level > 0 && !(node->left && node->right)) {
278 if (node->left && !(N(node->left)->level < node->level)) {
281 if (node->right && !(N(node->right)->level <= node->level)) {
285 !(N(N(node->right)->right)->level < node->level))
290 !(N(N(node->right)->left)->level < node->level))
446 else if (N(node)->level == N(N(node)->left)->level) {
487 else if (N(node)->level == N(N(N(node)->right)->right)->level) {
491 N(right)->level += 1;
516 expected = MIN(N(N(node)->left)->level, N(N(node)->right)->level) + 1;
519 if (expected < N(node)->level) {
520 N(node)->level = expected;
521 if (N(node)->right && expected < N(N(node)->right)->level) {
522 N(N(node)->right)->level = expected;
672 tmp_level = N(first)->level;
673 N(first)->level = N(second)->level;
674 N(second)->level = tmp_level;
732 assert(N(current_)->level == 0);
733 // right is non-null, left null -> current is level 0 node with