Symbol: overwrite_states_using_pool
usr/src/tools/smatch/src/smatch.h
600
void overwrite_states_using_pool(struct sm_state *gate_sm, struct sm_state *pool_sm);
usr/src/tools/smatch/src/smatch_db.c
1615
overwrite_states_using_pool(sm, tmp);
usr/src/tools/smatch/src/smatch_db.c
2009
overwrite_states_using_pool(sm, tmp);