Searched refs:errdev (Results 1 – 1 of 1) sorted by relevance
946 struct stdio_dev *inputdev = NULL, *outputdev = NULL, *errdev = NULL; in console_init_r() local973 errdev = console_search_dev(DEV_FLAGS_OUTPUT, stderrname); in console_init_r()990 if (errdev == NULL) { in console_init_r()991 errdev = console_search_dev(DEV_FLAGS_OUTPUT, "serial"); in console_init_r()998 if (errdev != NULL) { in console_init_r()1000 console_doenv(stderr, errdev); in console_init_r()
Completed in 3 milliseconds