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