1594 		port_id threadDebugPort = -1;  in broadcast_debugged_thread_message()  local
1598 			threadDebugPort = thread->debug_info.debug_port;  in broadcast_debugged_thread_message()
1605 		if (threadDebugPort >= 0) {  in broadcast_debugged_thread_message()
1606 			status_t error = kill_interruptable_write_port(threadDebugPort,  in broadcast_debugged_thread_message()
1672 	thread_id threadID, port_id &threadDebugPort)  in debug_nub_thread_get_thread_debug_port()  argument
1674 	threadDebugPort = -1;  in debug_nub_thread_get_thread_debug_port()
1691 	threadDebugPort = thread->debug_info.debug_port;  in debug_nub_thread_get_thread_debug_port()
1695 	if (threadDebugPort < 0)  in debug_nub_thread_get_thread_debug_port()
1909 				port_id threadDebugPort = -1;  in debug_nub_thread()  local
1911 					nubThread, threadID, threadDebugPort);  in debug_nub_thread()
1919 					result = write_port(threadDebugPort,  in debug_nub_thread()
1950 				port_id threadDebugPort = -1;  in debug_nub_thread()  local
1952 					nubThread, threadID, threadDebugPort);  in debug_nub_thread()
1959 					write_port(threadDebugPort,  in debug_nub_thread()
1977 				port_id threadDebugPort = -1;  in debug_nub_thread()  local
1979 					nubThread, threadID, threadDebugPort);  in debug_nub_thread()
1982 				if (threadDebugPort >= 0) {  in debug_nub_thread()
1985 					result = write_port(threadDebugPort,  in debug_nub_thread()