Symbol: set_other_side_state
usr/src/tools/smatch/src/smatch_function_hooks.c
669
set_other_side_state(db_info);
usr/src/tools/smatch/src/smatch_function_hooks.c
778
set_other_side_state(&db_info);
usr/src/tools/smatch/src/smatch_function_hooks.c
804
set_other_side_state(&db_info);