Searched refs:statistics_dump_file (Results 1 – 1 of 1) sorted by relevance
31 static FILE *statistics_dump_file; variable150 fprintf (statistics_dump_file, in statistics_fini_pass_2()158 fprintf (statistics_dump_file, in statistics_fini_pass_2()198 if (statistics_dump_file in statistics_fini_pass()216 fprintf (statistics_dump_file, in statistics_fini_1()223 fprintf (statistics_dump_file, in statistics_fini_1()238 if (!statistics_dump_file) in statistics_fini()252 dump_end (statistics_dump_nr, statistics_dump_file); in statistics_fini()273 statistics_dump_file = dump_begin (statistics_dump_nr, NULL); in statistics_init()311 && !statistics_dump_file) in statistics_counter_event()[all …]