Searched refs:outputdev (Results 1 – 1 of 1) sorted by relevance
781 struct stdio_dev *inputdev = NULL, *outputdev = NULL, *errdev = NULL; in console_init_r() local804 outputdev = search_device(DEV_FLAGS_OUTPUT, stdoutname); in console_init_r()819 if (outputdev == NULL) { in console_init_r()820 outputdev = search_device(DEV_FLAGS_OUTPUT, "serial"); in console_init_r()826 if (outputdev != NULL) { in console_init_r()828 console_doenv(stdout, outputdev); in console_init_r()874 struct stdio_dev *inputdev = NULL, *outputdev = NULL; in console_init_r() local891 outputdev = search_device (DEV_FLAGS_OUTPUT, "serial"); in console_init_r()902 if ((dev->flags & DEV_FLAGS_OUTPUT) && (outputdev == NULL)) { in console_init_r()903 outputdev = dev; in console_init_r()[all …]