Symbol: avl_lookup_node
usr/src/tools/smatch/src/avl.h
133
AvlNode *avl_lookup_node(const struct stree *avl, const struct sm_state *sm);
usr/src/tools/smatch/src/avl.h
49
#define avl_member(avl, sm) (!!avl_lookup_node(avl, sm))