diff options
Diffstat (limited to 'src/vppinfra')
| -rw-r--r-- | src/vppinfra/rbtree.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/vppinfra/rbtree.h b/src/vppinfra/rbtree.h index 65580584b6d..dde2fbfb836 100644 --- a/src/vppinfra/rbtree.h +++ b/src/vppinfra/rbtree.h @@ -53,6 +53,7 @@ rb_node_index_t rb_tree_add2 (rb_tree_t * rt, u32 key, uword opaque); rb_node_index_t rb_tree_add_custom (rb_tree_t * rt, u32 key, uword opaque, rb_tree_lt_fn ltfn); void rb_tree_del (rb_tree_t * rt, u32 key); +void rb_tree_del_node (rb_tree_t * rt, rb_node_t * z); void rb_tree_del_custom (rb_tree_t * rt, u32 key, rb_tree_lt_fn ltfn); void rb_tree_free_nodes (rb_tree_t * rt); u32 rb_tree_n_nodes (rb_tree_t * rt); |