Searched refs:outputdev (Results 1 – 1 of 1) sorted by relevance
972 outputdev = console_search_dev(DEV_FLAGS_OUTPUT, stdoutname); in console_init_r()987 if (outputdev == NULL) { in console_init_r()988 outputdev = console_search_dev(DEV_FLAGS_OUTPUT, "serial"); in console_init_r()994 if (outputdev != NULL) { in console_init_r()996 console_doenv(stdout, outputdev); in console_init_r()1035 struct stdio_dev *inputdev = NULL, *outputdev = NULL; in console_init_r() local1067 outputdev = dev; in console_init_r()1069 if(inputdev && outputdev) in console_init_r()1074 if (outputdev != NULL) { in console_init_r()1075 console_setfile_and_devices(stdout, outputdev); in console_init_r()[all …]
Completed in 4 milliseconds