110 static int console_setfile(int file, struct stdio_dev * dev)  in console_setfile()
191 static int console_getc(int file)  in console_getc()
201 static int console_tstc(int file)  in console_tstc()
223 static void console_putc(int file, const char c)  in console_putc()
235 static void console_puts_noserial(int file, const char *s)  in console_puts_noserial()
247 static void console_puts(int file, const char *s)  in console_puts()
259 static inline void console_doenv(int file, struct stdio_dev *dev)  in console_doenv()
264 static void console_clear(int file)  in console_clear()
276 static inline int console_getc(int file)  in console_getc()
281 static inline int console_tstc(int file)  in console_tstc()
286 static inline void console_putc(int file, const char c)  in console_putc()
291 static inline void console_puts_noserial(int file, const char *s)  in console_puts_noserial()
297 static inline void console_puts(int file, const char *s)  in console_puts()
302 static inline void console_clear(int file)  in console_clear()
308 static inline void console_doenv(int file, struct stdio_dev *dev)  in console_doenv()
334 int fgetc(int file)  in fgetc()
366 int ftstc(int file)  in ftstc()
374 void fputc(int file, const char c)  in fputc()
380 void fputs(int file, const char *s)  in fputs()
386 void fclear(int file)  in fclear()
392 int fprintf(int file, const char *fmt, ...)  in fprintf()
740 int console_assign(int file, const char *devname)  in console_assign()