689 	    fprintf_unfiltered (gdb_stdlog,  in packet_ok()
730 	    fprintf_unfiltered (gdb_stdlog,  in packet_ok()
2623     fprintf_unfiltered (gdb_stdlog, "remote_interrupt called\n");  in async_remote_interrupt()
2634     fprintf_unfiltered (gdb_stdlog, "remote_interrupt_twice called\n");  in async_remote_interrupt_twice()
2672     fprintf_unfiltered (gdb_stdlog, "remote_interrupt called\n");  in remote_interrupt()
2695     fprintf_unfiltered (gdb_stdlog, "remote_stop called\n");  in remote_stop()
3268 	fprintf_unfiltered (gdb_stdlog,  in remote_fetch_registers()
3549 	      fprintf_unfiltered (gdb_stdlog,  in check_binary_download()
3556 	      fprintf_unfiltered (gdb_stdlog,  in check_binary_download()
3928 	  fprintf_unfiltered (gdb_stdlog, "Sending packet: ");  in putpkt_binary()
3929 	  fputstrn_unfiltered (buf2, p - buf2, 0, gdb_stdlog);  in putpkt_binary()
3930 	  fprintf_unfiltered (gdb_stdlog, "...");  in putpkt_binary()
3931 	  gdb_flush (gdb_stdlog);  in putpkt_binary()
3961 		fprintf_unfiltered (gdb_stdlog, "Ack\n");  in putpkt_binary()
3965 		fprintf_unfiltered (gdb_stdlog, "Nak\n");  in putpkt_binary()
3974 		  fprintf_unfiltered (gdb_stdlog, "Packet instead of Ack, ignoring it\n");  in putpkt_binary()
3986 		      fprintf_unfiltered (gdb_stdlog, "putpkt: Junk: ");  in putpkt_binary()
3988 		  fputc_unfiltered (ch & 0177, gdb_stdlog);  in putpkt_binary()
4038 	    fputs_filtered ("Timeout in mid-packet, retrying\n", gdb_stdlog);  in read_frame()
4043 			    gdb_stdlog);  in read_frame()
4060 		  fputs_filtered ("Timeout in checksum, retrying\n", gdb_stdlog);  in read_frame()
4066 		  fputs_filtered ("Communication error in checksum\n", gdb_stdlog);  in read_frame()
4076 		fprintf_filtered (gdb_stdlog,  in read_frame()
4079 		fputs_filtered (buf, gdb_stdlog);  in read_frame()
4080 		fputs_filtered ("\n", gdb_stdlog);  in read_frame()
4200 		fputs_filtered ("Timed out.\n", gdb_stdlog);  in getpkt_sane()
4214 	      fprintf_unfiltered (gdb_stdlog, "Packet received: ");  in getpkt_sane()
4215 	      fputstr_unfiltered (buf, 0, gdb_stdlog);  in getpkt_sane()
4216 	      fprintf_unfiltered (gdb_stdlog, "\n");  in getpkt_sane()