Lines Matching refs:stdio_devices
192 stdio_devices[file] = dev; in console_setfile()
423 return stdio_devices[file]->getc(stdio_devices[file]); in console_getc()
433 return stdio_devices[file]->tstc(stdio_devices[file]); in console_tstc()
438 stdio_devices[file]->putc(stdio_devices[file], c); in console_putc()
444 serial_only == console_dev_is_serial(stdio_devices[file])) in console_puts_select()
445 stdio_devices[file]->puts(stdio_devices[file], s); in console_puts_select()
450 stdio_devices[file]->puts(stdio_devices[file], s); in console_puts()
456 if (stdio_devices[file]->flush) in console_flush()
457 stdio_devices[file]->flush(stdio_devices[file]); in console_flush()
1067 return stdio_devices[std] ? stdio_devices[std]->name : "No devices available!"; in get_stdio()
1173 env_set(stdio_names[i], stdio_devices[i]->name); in console_init_r()
1240 env_set(stdio_names[i], stdio_devices[i]->name); in console_init_r()