Searched refs:dump_states_binary (Results 1 – 1 of 1) sorted by relevance
63 static int dump_states_binary(int, int, const char*);122 dump_states_binary(int fd, int verbose, const char* filename) in dump_states_binary() function550 error = dump_states_binary(fd, verbose, filename); in main()