____rb_erase_color  413 lib/rbtree.c   	____rb_erase_color(parent, root, augment_rotate);
____rb_erase_color  445 lib/rbtree.c   		____rb_erase_color(rebalance, root, dummy_rotate);
____rb_erase_color  413 tools/lib/rbtree.c 	____rb_erase_color(parent, root, augment_rotate);
____rb_erase_color  443 tools/lib/rbtree.c 		____rb_erase_color(rebalance, root, dummy_rotate);