142 			gd->jt->putc  = putc;  in console_setfile()
230 		if (dev->putc != NULL)  in console_putc()
231 			dev->putc(dev, c);  in console_putc()
288 	stdio_devices[file]->putc(stdio_devices[file], c);  in console_putc()
518 void putc(const char c)  in putc()  function
575 			putc(*s++);  in puts()
588 				putc(*p++);  in puts()
591 		putc(*s++);  in puts()
598 		putc(*s++);  in puts()
646 		putc(c);  in console_record_print_purge()
688 		putc(str_input[i]);  in confirm_yesno()
693 	putc('\n');  in confirm_yesno()
846 	gd->jt->putc  = serial_putc;  in console_init_r()