Home
last modified time | relevance | path

Searched defs:pool_sm (Results 1 – 1 of 1) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_implied.c1139 struct sm_state *pool_sm, in get_tf_stacks_from_pool()
1176 void overwrite_states_using_pool(struct sm_state *gate_sm, struct sm_state *pool_sm) in overwrite_states_using_pool()