Symbol: stree_count
usr/src/tools/smatch/src/avl.h
52
size_t stree_count(const struct stree *avl);
usr/src/tools/smatch/src/smatch_slist.c
82
sm_msg("dumping stree [%ld states]", stree_count(stree));