Searched refs:kill_request (Results 1 – 1 of 1) sorted by relevance
108 void kill_request (char *msg) in kill_request() function301 kill_request ("monitor command request to kill this process\n"); in handle_gdb_valgrind_command()977 kill_request("Gdb request to kill this process\n"); in server_main()