Searched refs:inputdev (Results 1 – 1 of 1) sorted by relevance
1068 inputdev = console_search_dev(DEV_FLAGS_INPUT, stdinname); in console_init_r()1081 if (inputdev == NULL) { in console_init_r()1082 inputdev = console_search_dev(DEV_FLAGS_INPUT, "serial"); in console_init_r()1099 if (inputdev != NULL) { in console_init_r()1101 console_doenv(stdin, inputdev); in console_init_r()1132 struct stdio_dev *inputdev = NULL, *outputdev = NULL; in console_init_r() local1160 if ((dev->flags & DEV_FLAGS_INPUT) && (inputdev == NULL)) { in console_init_r()1161 inputdev = dev; in console_init_r()1166 if(inputdev && outputdev) in console_init_r()1177 if (inputdev != NULL) in console_init_r()[all …]
Completed in 4 milliseconds