Searched refs:dump_def_info (Results 1 – 1 of 1) sorted by relevance
693 static void dump_def_info (FILE *);1538 dump_def_info (FILE *f) in dump_def_info() function1784 dump_def_info (f); in gen_exp_file()