Searched refs:write_dump (Results 1 – 1 of 1) sorted by relevance
2208 static void write_dump(const char *fname) in write_dump() 2389 write_dump(dump_write); in main() 2200 static void write_dump(const char *fname) write_dump() function