125 		stdio_devices[file] = dev;  in console_setfile()
264 	return stdio_devices[file]->getc(stdio_devices[file]);  in console_getc()
269 	return stdio_devices[file]->tstc(stdio_devices[file]);  in console_tstc()
274 	stdio_devices[file]->putc(stdio_devices[file], c);  in console_putc()
279 	if (!console_dev_is_serial(stdio_devices[file]))  in console_puts_noserial()
280 		stdio_devices[file]->puts(stdio_devices[file], s);  in console_puts_noserial()
285 	stdio_devices[file]->puts(stdio_devices[file], s);  in console_puts()
786 	if (stdio_devices[stdin] == NULL) {  in stdio_print_current_devices()
789 		printf ("%s\n", stdio_devices[stdin]->name);  in stdio_print_current_devices()
793 	if (stdio_devices[stdout] == NULL) {  in stdio_print_current_devices()
796 		printf ("%s\n", stdio_devices[stdout]->name);  in stdio_print_current_devices()
800 	if (stdio_devices[stderr] == NULL) {  in stdio_print_current_devices()
803 		printf ("%s\n", stdio_devices[stderr]->name);  in stdio_print_current_devices()
892 		env_set(stdio_names[i], stdio_devices[i]->name);  in console_init_r()
900 	if ((stdio_devices[stdin] == NULL) && (stdio_devices[stdout] == NULL))  in console_init_r()
976 		env_set(stdio_names[i], stdio_devices[i]->name);  in console_init_r()
983 	if ((stdio_devices[stdin] == NULL) && (stdio_devices[stdout] == NULL))  in console_init_r()