Symbol: select_call_implies_hook
usr/src/tools/smatch/src/smatch.h
907
void select_call_implies_hook(int type, void (*callback)(struct expression *call, struct expression *arg, char *key, char *value));
usr/src/tools/smatch/src/smatch_buf_comparison.c
841
select_call_implies_hook(i, &set_implied);