335 	  warning ("Stopped %s.", proc_string (proc));  in proc_abort()
472 		 proc_string (proc), safe_strerror (err));  in proc_steal_exc_port()
502 		 proc_string (proc), safe_strerror (err));  in proc_restore_exc_port()
1952 	       proc_string (inf->wait.thread),  in gnu_resume()
2552 proc_string (struct proc *proc)  in proc_string()  function
2571     return proc_string (thread);  in gnu_pid_to_str()
2848 	     proc_string (proc), safe_strerror (err));  in steal_exc_port()
2904 		       proc_string (inf->signal_thread));  in show_sig_thread_cmd()
3221 		     proc_string (thread),  in show_thread_pause_cmd()
3239 		     proc_string (thread),  in show_thread_run_cmd()
3257 		     proc_string (thread),  in show_thread_detach_sc_cmd()