Searched refs:db_callback_info (Results 1 – 1 of 1) sorted by relevance
353 struct db_callback_info { struct371 static void set_implied_states(struct db_callback_info *db_info) in set_implied_states() argument382 static void store_return_state(struct db_callback_info *db_info, const char *ret_str, struct smatch… in store_return_state()475 static void set_fresh_mtag_returns(struct db_callback_info *db_info) in set_fresh_mtag_returns()495 static void set_return_assign_state(struct db_callback_info *db_info) in set_return_assign_state()511 static void set_other_side_state(struct db_callback_info *db_info) in set_other_side_state()647 struct db_callback_info *db_info = _info; in db_compare_callback()743 struct db_callback_info db_info = {}; in compare_db_return_states_callbacks()878 static void call_ranged_return_hooks(struct db_callback_info *db_info) in call_ranged_return_hooks()909 struct db_callback_info *db_info = _info; in db_assign_return_states_callback()[all …]