Searched refs:inputdev (Results 1 – 1 of 1) sorted by relevance
971 inputdev = console_search_dev(DEV_FLAGS_INPUT, stdinname); in console_init_r()984 if (inputdev == NULL) { in console_init_r()985 inputdev = console_search_dev(DEV_FLAGS_INPUT, "serial"); in console_init_r()1002 if (inputdev != NULL) { in console_init_r()1004 console_doenv(stdin, inputdev); in console_init_r()1035 struct stdio_dev *inputdev = NULL, *outputdev = NULL; in console_init_r() local1063 if ((dev->flags & DEV_FLAGS_INPUT) && (inputdev == NULL)) { in console_init_r()1064 inputdev = dev; in console_init_r()1069 if(inputdev && outputdev) in console_init_r()1080 if (inputdev != NULL) in console_init_r()[all …]
Completed in 4 milliseconds