Searched refs:errdev (Results 1 – 1 of 1) sorted by relevance
781 struct stdio_dev *inputdev = NULL, *outputdev = NULL, *errdev = NULL; in console_init_r() local805 errdev = search_device(DEV_FLAGS_OUTPUT, stderrname); in console_init_r()822 if (errdev == NULL) { in console_init_r()823 errdev = search_device(DEV_FLAGS_OUTPUT, "serial"); in console_init_r()830 if (errdev != NULL) { in console_init_r()832 console_doenv(stderr, errdev); in console_init_r()