Searched refs:outputdev (Results 1 – 1 of 1) sorted by relevance
788 struct stdio_dev *inputdev = NULL, *outputdev = NULL, *errdev = NULL; in console_init_r() local811 outputdev = search_device(DEV_FLAGS_OUTPUT, stdoutname); in console_init_r()826 if (outputdev == NULL) { in console_init_r()827 outputdev = search_device(DEV_FLAGS_OUTPUT, "serial"); in console_init_r()833 if (outputdev != NULL) { in console_init_r()835 console_doenv(stdout, outputdev); in console_init_r()881 struct stdio_dev *inputdev = NULL, *outputdev = NULL; in console_init_r() local898 outputdev = search_device (DEV_FLAGS_OUTPUT, "serial"); in console_init_r()909 if ((dev->flags & DEV_FLAGS_OUTPUT) && (outputdev == NULL)) { in console_init_r()910 outputdev = dev; in console_init_r()[all …]