Symbol: checkOrder
usr/src/tools/smatch/src/avl.c
401
&& checkOrder(avl)
usr/src/tools/smatch/src/avl.c
42
static bool checkOrder(struct stree *avl);