Lines Matching refs:scf_entry_destroy
1344 scf_entry_destroy(t_state); in _restarter_commit_states()
1345 scf_entry_destroy(t_state_next); in _restarter_commit_states()
1346 scf_entry_destroy(t_stime); in _restarter_commit_states()
1347 scf_entry_destroy(t_aux); in _restarter_commit_states()
1460 scf_entry_destroy(t_cid); in restarter_remove_contract()
1561 scf_entry_destroy(t_cid); in restarter_remove_contract()
1583 scf_entry_destroy(t_cid); in restarter_remove_contract()
1758 scf_entry_destroy(t_cid); in restarter_store_contract()
1852 scf_entry_destroy(t_cid); in restarter_store_contract()
1874 scf_entry_destroy(t_cid); in restarter_store_contract()
4090 scf_entry_destroy(e); in restarter_inst_set_astring_prop()