Symbol: get_tf_stacks_from_pool
usr/src/tools/smatch/src/smatch_implied.c
1166
get_tf_stacks_from_pool(gate_sm->left, pool_sm, true_stack, false_stack);
usr/src/tools/smatch/src/smatch_implied.c
1167
get_tf_stacks_from_pool(gate_sm->right, pool_sm, true_stack, false_stack);
usr/src/tools/smatch/src/smatch_implied.c
1187
get_tf_stacks_from_pool(gate_sm, pool_sm, &true_stack, &false_stack);