Searched refs:dump_write (Results 1 – 1 of 1) sorted by relevance
2095 char *dump_write = NULL; in main() local2125 dump_write = optarg; in main()2185 if (dump_write) in main()2186 write_dump(dump_write); in main()