Searched refs:errdev (Results 1 – 1 of 1) sorted by relevance
788 struct stdio_dev *inputdev = NULL, *outputdev = NULL, *errdev = NULL; in console_init_r() local812 errdev = search_device(DEV_FLAGS_OUTPUT, stderrname); in console_init_r()829 if (errdev == NULL) { in console_init_r()830 errdev = search_device(DEV_FLAGS_OUTPUT, "serial"); in console_init_r()837 if (errdev != NULL) { in console_init_r()839 console_doenv(stderr, errdev); in console_init_r()