Searched refs:outputdev (Results 1 – 1 of 1) sorted by relevance
835 struct stdio_dev *inputdev = NULL, *outputdev = NULL, *errdev = NULL; in console_init_r() local858 outputdev = search_device(DEV_FLAGS_OUTPUT, stdoutname); in console_init_r()873 if (outputdev == NULL) { in console_init_r()874 outputdev = search_device(DEV_FLAGS_OUTPUT, "serial"); in console_init_r()880 if (outputdev != NULL) { in console_init_r()882 console_doenv(stdout, outputdev); in console_init_r()928 struct stdio_dev *inputdev = NULL, *outputdev = NULL; in console_init_r() local945 outputdev = search_device (DEV_FLAGS_OUTPUT, "serial"); in console_init_r()956 if ((dev->flags & DEV_FLAGS_OUTPUT) && (outputdev == NULL)) { in console_init_r()957 outputdev = dev; in console_init_r()[all …]