112 static int console_setfile(int file, struct stdio_dev * dev)  in console_setfile()
193 static int console_getc(int file)  in console_getc()
203 static int console_tstc(int file)  in console_tstc()
225 static void console_putc(int file, const char c)  in console_putc()
237 static void console_puts_noserial(int file, const char *s)  in console_puts_noserial()
249 static void console_puts(int file, const char *s)  in console_puts()
261 static inline void console_doenv(int file, struct stdio_dev *dev)  in console_doenv()
266 static void console_clear(int file)  in console_clear()
278 static inline int console_getc(int file)  in console_getc()
283 static inline int console_tstc(int file)  in console_tstc()
288 static inline void console_putc(int file, const char c)  in console_putc()
293 static inline void console_puts_noserial(int file, const char *s)  in console_puts_noserial()
299 static inline void console_puts(int file, const char *s)  in console_puts()
304 static inline void console_clear(int file)  in console_clear()
310 static inline void console_doenv(int file, struct stdio_dev *dev)  in console_doenv()
336 int fgetc(int file)  in fgetc()
368 int ftstc(int file)  in ftstc()
376 void fputc(int file, const char c)  in fputc()
382 void fputs(int file, const char *s)  in fputs()
388 void fclear(int file)  in fclear()
394 int fprintf(int file, const char *fmt, ...)  in fprintf()
758 int console_assign(int file, const char *devname)  in console_assign()