104 static int console_setfile(int file, struct stdio_dev * dev)  in console_setfile()
185 static int console_getc(int file)  in console_getc()
195 static int console_tstc(int file)  in console_tstc()
218 static void console_putc(int file, const char c)  in console_putc()
230 static void console_puts_noserial(int file, const char *s)  in console_puts_noserial()
242 static void console_puts(int file, const char *s)  in console_puts()
254 static inline void console_doenv(int file, struct stdio_dev *dev)  in console_doenv()
259 static inline int console_getc(int file)  in console_getc()
264 static inline int console_tstc(int file)  in console_tstc()
269 static inline void console_putc(int file, const char c)  in console_putc()
274 static inline void console_puts_noserial(int file, const char *s)  in console_puts_noserial()
280 static inline void console_puts(int file, const char *s)  in console_puts()
285 static inline void console_doenv(int file, struct stdio_dev *dev)  in console_doenv()
311 int fgetc(int file)  in fgetc()
344 int ftstc(int file)  in ftstc()
352 void fputc(int file, const char c)  in fputc()
358 void fputs(int file, const char *s)  in fputs()
364 int fprintf(int file, const char *fmt, ...)  in fprintf()
695 int console_assign(int file, const char *devname)  in console_assign()