132 		stdio_devices[file] = dev;  in console_setfile()
280 	return stdio_devices[file]->getc(stdio_devices[file]);  in console_getc()
285 	return stdio_devices[file]->tstc(stdio_devices[file]);  in console_tstc()
290 	stdio_devices[file]->putc(stdio_devices[file], c);  in console_putc()
295 	if (!console_dev_is_serial(stdio_devices[file]))  in console_puts_noserial()
296 		stdio_devices[file]->puts(stdio_devices[file], s);  in console_puts_noserial()
301 	stdio_devices[file]->puts(stdio_devices[file], s);  in console_puts()
306 	if (stdio_devices[file]->clear)  in console_clear()
307 		stdio_devices[file]->clear(stdio_devices[file]);  in console_clear()
827 	if (stdio_devices[stdin] == NULL) {  in stdio_print_current_devices()
830 		printf ("%s\n", stdio_devices[stdin]->name);  in stdio_print_current_devices()
834 	if (stdio_devices[stdout] == NULL) {  in stdio_print_current_devices()
837 		printf ("%s\n", stdio_devices[stdout]->name);  in stdio_print_current_devices()
841 	if (stdio_devices[stderr] == NULL) {  in stdio_print_current_devices()
844 		printf ("%s\n", stdio_devices[stderr]->name);  in stdio_print_current_devices()
926 		env_set(stdio_names[i], stdio_devices[i]->name);  in console_init_r()
934 	if ((stdio_devices[stdin] == NULL) && (stdio_devices[stdout] == NULL))  in console_init_r()
1005 		env_set(stdio_names[i], stdio_devices[i]->name);  in console_init_r()
1012 	if ((stdio_devices[stdin] == NULL) && (stdio_devices[stdout] == NULL))  in console_init_r()