Searched refs:target_does_save (Results 1 – 2 of 2) sorted by relevance
284 extern void trace_save (const char *filename, int target_does_save);
2997 trace_save (const char *filename, int target_does_save) in trace_save() argument3016 if (target_does_save) in trace_save()3188 int target_does_save = 0; in trace_save_command() local3202 target_does_save = 1; in trace_save_command()3212 trace_save (filename, target_does_save); in trace_save_command()