Lines Matching refs:stdio_devices
181 stdio_devices[file] = dev; in console_setfile()
378 return stdio_devices[file]->getc(stdio_devices[file]); in console_getc()
388 return stdio_devices[file]->tstc(stdio_devices[file]); in console_tstc()
393 stdio_devices[file]->putc(stdio_devices[file], c); in console_putc()
398 if (serial_only == console_dev_is_serial(stdio_devices[file])) in console_puts_select()
399 stdio_devices[file]->puts(stdio_devices[file], s); in console_puts_select()
404 stdio_devices[file]->puts(stdio_devices[file], s); in console_puts()
920 if (stdio_devices[stdin] == NULL) { in stdio_print_current_devices()
923 printf ("%s\n", stdio_devices[stdin]->name); in stdio_print_current_devices()
927 if (stdio_devices[stdout] == NULL) { in stdio_print_current_devices()
930 printf ("%s\n", stdio_devices[stdout]->name); in stdio_print_current_devices()
934 if (stdio_devices[stderr] == NULL) { in stdio_print_current_devices()
937 printf ("%s\n", stdio_devices[stderr]->name); in stdio_print_current_devices()
1021 env_set(stdio_names[i], stdio_devices[i]->name); in console_init_r()
1088 env_set(stdio_names[i], stdio_devices[i]->name); in console_init_r()