37 		console = stdin;  in on_console()
118 	case stdin:  in console_setfile()
137 		case stdin:  in console_setfile()
432 		return fgetc(stdin);  in getc()
454 		return ftstc(stdin);  in tstc()
747 	case stdin:  in console_assign()
809 	if (stdio_devices[stdin] == NULL) {  in stdio_print_current_devices()
812 		printf ("%s\n", stdio_devices[stdin]->name);  in stdio_print_current_devices()
861 		iomux_err = iomux_doenv(stdin, stdinname);  in console_init_r()
890 		console_doenv(stdin, inputdev);  in console_init_r()
916 	if ((stdio_devices[stdin] == NULL) && (stdio_devices[stdout] == NULL))  in console_init_r()
975 		console_setfile(stdin, inputdev);  in console_init_r()
977 		console_devices[stdin][0] = inputdev;  in console_init_r()
994 	if ((stdio_devices[stdin] == NULL) && (stdio_devices[stdout] == NULL))  in console_init_r()