835 	struct stdio_dev *inputdev = NULL, *outputdev = NULL, *errdev = NULL;  in console_init_r()  local
857 		inputdev  = search_device(DEV_FLAGS_INPUT,  stdinname);  in console_init_r()
870 	if (inputdev == NULL) {  in console_init_r()
871 		inputdev  = search_device(DEV_FLAGS_INPUT,  "serial");  in console_init_r()
888 	if (inputdev != NULL) {  in console_init_r()
890 		console_doenv(stdin, inputdev);  in console_init_r()
928 	struct stdio_dev *inputdev = NULL, *outputdev = NULL;  in console_init_r()  local
953 		if ((dev->flags & DEV_FLAGS_INPUT) && (inputdev == NULL)) {  in console_init_r()
954 			inputdev = dev;  in console_init_r()
959 		if(inputdev && outputdev)  in console_init_r()
974 	if (inputdev != NULL) {  in console_init_r()
975 		console_setfile(stdin, inputdev);  in console_init_r()
977 		console_devices[stdin][0] = inputdev;  in console_init_r()