124 		stdio_devices[file] = dev;  in console_setfile()
260 	return stdio_devices[file]->getc(stdio_devices[file]);  in console_getc()
265 	return stdio_devices[file]->tstc(stdio_devices[file]);  in console_tstc()
270 	stdio_devices[file]->putc(stdio_devices[file], c);  in console_putc()
275 	if (!console_dev_is_serial(stdio_devices[file]))  in console_puts_noserial()
276 		stdio_devices[file]->puts(stdio_devices[file], s);  in console_puts_noserial()
281 	stdio_devices[file]->puts(stdio_devices[file], s);  in console_puts()
755 	if (stdio_devices[stdin] == NULL) {  in stdio_print_current_devices()
758 		printf ("%s\n", stdio_devices[stdin]->name);  in stdio_print_current_devices()
762 	if (stdio_devices[stdout] == NULL) {  in stdio_print_current_devices()
765 		printf ("%s\n", stdio_devices[stdout]->name);  in stdio_print_current_devices()
769 	if (stdio_devices[stderr] == NULL) {  in stdio_print_current_devices()
772 		printf ("%s\n", stdio_devices[stderr]->name);  in stdio_print_current_devices()
854 		env_set(stdio_names[i], stdio_devices[i]->name);  in console_init_r()
862 	if ((stdio_devices[stdin] == NULL) && (stdio_devices[stdout] == NULL))  in console_init_r()
933 		env_set(stdio_names[i], stdio_devices[i]->name);  in console_init_r()
940 	if ((stdio_devices[stdin] == NULL) && (stdio_devices[stdout] == NULL))  in console_init_r()