41 		console = stdout;  in on_console()
121 	case stdout:  in console_setfile()
143 		case stdout:  in console_setfile()
511 		console_puts_noserial(stdout, buf_out);  in print_pre_console_buffer()
550 		fputc(stdout, c);  in putc()
768 	case stdout:  in console_assign()
805 	console_puts_noserial(stdout, buf);  in console_announce_r()
834 	if (stdio_devices[stdout] == NULL) {  in stdio_print_current_devices()
837 		printf ("%s\n", stdio_devices[stdout]->name);  in stdio_print_current_devices()
880 		iomux_err += iomux_doenv(stdout, stdoutname);  in console_init_r()
900 		console_doenv(stdout, outputdev);  in console_init_r()
934 	if ((stdio_devices[stdin] == NULL) && (stdio_devices[stdout] == NULL))  in console_init_r()
983 		console_setfile(stdout, outputdev);  in console_init_r()
986 		console_devices[stdout][0] = outputdev;  in console_init_r()
1012 	if ((stdio_devices[stdin] == NULL) && (stdio_devices[stdout] == NULL))  in console_init_r()