Searched refs:outputdev (Results 1 – 1 of 1) sorted by relevance
1069 outputdev = console_search_dev(DEV_FLAGS_OUTPUT, stdoutname); in console_init_r()1084 if (outputdev == NULL) { in console_init_r()1085 outputdev = console_search_dev(DEV_FLAGS_OUTPUT, "serial"); in console_init_r()1091 if (outputdev != NULL) { in console_init_r()1093 console_doenv(stdout, outputdev); in console_init_r()1132 struct stdio_dev *inputdev = NULL, *outputdev = NULL; in console_init_r() local1164 outputdev = dev; in console_init_r()1166 if(inputdev && outputdev) in console_init_r()1171 if (outputdev != NULL) { in console_init_r()1172 console_setfile_and_devices(stdout, outputdev); in console_init_r()[all …]
Completed in 8 milliseconds