Searched refs:to_save_record (Results 1 – 6 of 6) sorted by relevance
892 void (*to_save_record) (char *filename); member
4288 if (t->to_save_record != NULL) in target_save_record()4290 t->to_save_record (filename); in target_save_record()
2091 record_full_ops.to_save_record = record_full_save; in init_record_full_ops()
886 to_save_record, to_delete_record, to_record_is_replaying,
7714 * target.h (struct target_ops) <to_save_record>: Make 'filename'11006 to_save_record, to_delete_record, to_record_is_replaying,
12038 * target.h (struct target_ops) <to_save_record>: Use12988 * target.h (struct target_ops) <to_save_record>: Add argument.