Searched refs:reset_valgrind_sink (Results 1 – 3 of 3) sorted by relevance
93 extern void reset_valgrind_sink(const char* info);
466 reset_valgrind_sink(ppFinishReason(reason)); in remote_finish()922 reset_valgrind_sink("Error writing monitor output"); in monitor_output()
104 void reset_valgrind_sink(const char *info) in reset_valgrind_sink() function1167 reset_valgrind_sink("gdb detaching from process"); in server_main()