Searched refs:dump_nodes_to_file (Results 1 – 3 of 3) sorted by relevance
387 dump_nodes_to_file in main()
88 extern void dump_nodes_to_file (char *filename, char **nodenames,
3138 dump_nodes_to_file (char *filename, char **nodenames, in dump_nodes_to_file() function