opal_interval_tree_delete_leaf  511 opal/class/opal_interval_tree.c         opal_interval_tree_delete_leaf (tree, next);
opal_interval_tree_delete_leaf  557 opal/class/opal_interval_tree.c         opal_interval_tree_delete_leaf (tree, node);