Searched refs:reset_valgrind_sink (Results 1 – 3 of 3) sorted by relevance
95 extern void reset_valgrind_sink(char* info);
97 void reset_valgrind_sink(char *info) in reset_valgrind_sink() function786 reset_valgrind_sink("gdb detaching from process"); in server_main()
379 reset_valgrind_sink(ppFinishReason(reason)); in remote_finish()781 reset_valgrind_sink("Error writing monitor output"); in monitor_output()