788 	struct stdio_dev *inputdev = NULL, *outputdev = NULL, *errdev = NULL;  in console_init_r()  local
810 		inputdev  = search_device(DEV_FLAGS_INPUT,  stdinname);  in console_init_r()
823 	if (inputdev == NULL) {  in console_init_r()
824 		inputdev  = search_device(DEV_FLAGS_INPUT,  "serial");  in console_init_r()
841 	if (inputdev != NULL) {  in console_init_r()
843 		console_doenv(stdin, inputdev);  in console_init_r()
881 	struct stdio_dev *inputdev = NULL, *outputdev = NULL;  in console_init_r()  local
906 		if ((dev->flags & DEV_FLAGS_INPUT) && (inputdev == NULL)) {  in console_init_r()
907 			inputdev = dev;  in console_init_r()
912 		if(inputdev && outputdev)  in console_init_r()
927 	if (inputdev != NULL) {  in console_init_r()
928 		console_setfile(stdin, inputdev);  in console_init_r()
930 		console_devices[stdin][0] = inputdev;  in console_init_r()