39 		console = stdin;  in on_console()
120 	case stdin:  in console_setfile()
139 		case stdin:  in console_setfile()
434 		return fgetc(stdin);  in getc()
456 		return ftstc(stdin);  in tstc()
765 	case stdin:  in console_assign()
827 	if (stdio_devices[stdin] == NULL) {  in stdio_print_current_devices()
830 		printf ("%s\n", stdio_devices[stdin]->name);  in stdio_print_current_devices()
879 		iomux_err = iomux_doenv(stdin, stdinname);  in console_init_r()
908 		console_doenv(stdin, inputdev);  in console_init_r()
934 	if ((stdio_devices[stdin] == NULL) && (stdio_devices[stdout] == NULL))  in console_init_r()
993 		console_setfile(stdin, inputdev);  in console_init_r()
995 		console_devices[stdin][0] = inputdev;  in console_init_r()
1012 	if ((stdio_devices[stdin] == NULL) && (stdio_devices[stdout] == NULL))  in console_init_r()