Searched refs:outputdev (Results 1 – 1 of 1) sorted by relevance

/common/
A D	console.c	1130 outputdev = console_search_dev(DEV_FLAGS_OUTPUT, stdoutname); in console_init_r() 1145 if (outputdev == NULL) { in console_init_r() 1146 outputdev = console_search_dev(DEV_FLAGS_OUTPUT, "serial"); in console_init_r() 1152 if (outputdev != NULL) { in console_init_r() 1154 console_doenv(stdout, outputdev); in console_init_r() 1187 struct stdio_dev *inputdev = NULL, *outputdev = NULL; in console_init_r() local 1219 outputdev = dev; in console_init_r() 1221 if(inputdev && outputdev) in console_init_r() 1226 if (outputdev != NULL) { in console_init_r() 1227 console_setfile_and_devices(stdout, outputdev); in console_init_r() [all …]

Completed in 13 milliseconds

Last Index update Fri Aug 22 02:48:31 CST 2025