Searched refs:graph_written_to_file (Results 1 – 3 of 3) sorted by relevance
217 int graph_written_to_file (void);
3072 if (graph_written_to_file()) { in maybe_schedule_graph_callback()
2241 int graph_written_to_file (void) in graph_written_to_file() function