130 		stdio_devices[file] = dev;  in console_setfile()
278 	return stdio_devices[file]->getc(stdio_devices[file]);  in console_getc()
283 	return stdio_devices[file]->tstc(stdio_devices[file]);  in console_tstc()
288 	stdio_devices[file]->putc(stdio_devices[file], c);  in console_putc()
293 	if (!console_dev_is_serial(stdio_devices[file]))  in console_puts_noserial()
294 		stdio_devices[file]->puts(stdio_devices[file], s);  in console_puts_noserial()
299 	stdio_devices[file]->puts(stdio_devices[file], s);  in console_puts()
304 	if (stdio_devices[file]->clear)  in console_clear()
305 		stdio_devices[file]->clear(stdio_devices[file]);  in console_clear()
809 	if (stdio_devices[stdin] == NULL) {  in stdio_print_current_devices()
812 		printf ("%s\n", stdio_devices[stdin]->name);  in stdio_print_current_devices()
816 	if (stdio_devices[stdout] == NULL) {  in stdio_print_current_devices()
819 		printf ("%s\n", stdio_devices[stdout]->name);  in stdio_print_current_devices()
823 	if (stdio_devices[stderr] == NULL) {  in stdio_print_current_devices()
826 		printf ("%s\n", stdio_devices[stderr]->name);  in stdio_print_current_devices()
908 		env_set(stdio_names[i], stdio_devices[i]->name);  in console_init_r()
916 	if ((stdio_devices[stdin] == NULL) && (stdio_devices[stdout] == NULL))  in console_init_r()
987 		env_set(stdio_names[i], stdio_devices[i]->name);  in console_init_r()
994 	if ((stdio_devices[stdin] == NULL) && (stdio_devices[stdout] == NULL))  in console_init_r()