Lines Matching defs:db_info
371 static void set_implied_states(struct db_callback_info *db_info) in set_implied_states()
382 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() local
743 struct db_callback_info db_info = {}; in compare_db_return_states_callbacks() local
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() local
984 struct db_callback_info db_info = {}; in db_return_states_assign() local
1098 struct db_callback_info *db_info = _info; in db_return_states_callback() local
1179 struct db_callback_info db_info = {}; in db_return_states() local