853 	struct stdio_dev *inputdev = NULL, *outputdev = NULL, *errdev = NULL;  in console_init_r()  local
875 		inputdev  = search_device(DEV_FLAGS_INPUT,  stdinname);  in console_init_r()
888 	if (inputdev == NULL) {  in console_init_r()
889 		inputdev  = search_device(DEV_FLAGS_INPUT,  "serial");  in console_init_r()
906 	if (inputdev != NULL) {  in console_init_r()
908 		console_doenv(stdin, inputdev);  in console_init_r()
946 	struct stdio_dev *inputdev = NULL, *outputdev = NULL;  in console_init_r()  local
971 		if ((dev->flags & DEV_FLAGS_INPUT) && (inputdev == NULL)) {  in console_init_r()
972 			inputdev = dev;  in console_init_r()
977 		if(inputdev && outputdev)  in console_init_r()
992 	if (inputdev != NULL) {  in console_init_r()
993 		console_setfile(stdin, inputdev);  in console_init_r()
995 		console_devices[stdin][0] = inputdev;  in console_init_r()