Searched refs:new_dump_file (Results 1 – 2 of 2) sorted by relevance
528 extern void set_dump_file (FILE *new_dump_file);
72 set_dump_file (FILE *new_dump_file) in set_dump_file() argument75 dump_file = new_dump_file; in set_dump_file()