Searched refs:errdev (Results 1 – 1 of 1) sorted by relevance
812 struct stdio_dev *inputdev = NULL, *outputdev = NULL, *errdev = NULL; in console_init_r() local843 errdev = search_device(DEV_FLAGS_OUTPUT, stderrname); in console_init_r()860 if (errdev == NULL) { in console_init_r()861 errdev = search_device(DEV_FLAGS_OUTPUT, "serial"); in console_init_r()868 if (errdev != NULL) { in console_init_r()870 console_doenv(stderr, errdev); in console_init_r()