TREE_RLOCKED
} else if (tree_locked == TREE_RLOCKED) {
} else if (tree_locked == TREE_RLOCKED) {
case TREE_RLOCKED:
case TREE_RLOCKED:
case TREE_RLOCKED:
case TREE_RLOCKED:
if (*tree_locked == TREE_RLOCKED && TCPID_TREE_UPGRADE())
if (*tree_locked == TREE_RLOCKED)
} else if (tree_locked == TREE_RLOCKED) {
} else if (tree_locked == TREE_RLOCKED) {
tree_locked = TREE_RLOCKED;
tree_locked = TREE_RLOCKED;