24 static int on_console(const char *name, const char *value, enum env_op op,  in on_console()
67 static int on_silent(const char *name, const char *value, enum env_op op,  in on_silent()
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()
217 static void console_putc(int file, const char c)  in console_putc()
229 static void console_puts_noserial(int file, const char *s)  in console_puts_noserial()
241 static void console_puts(int file, const char *s)  in console_puts()
253 static inline void console_doenv(int file, struct stdio_dev *dev)  in console_doenv()
258 static inline int console_getc(int file)  in console_getc()
263 static inline int console_tstc(int file)  in console_tstc()
268 static inline void console_putc(int file, const char c)  in console_putc()
273 static inline void console_puts_noserial(int file, const char *s)  in console_puts_noserial()
279 static inline void console_puts(int file, const char *s)  in console_puts()
284 static inline void console_doenv(int file, struct stdio_dev *dev)  in console_doenv()
310 int fgetc(int file)  in fgetc()
342 int ftstc(int file)  in ftstc()
350 void fputc(int file, const char c)  in fputc()
356 void fputs(int file, const char *s)  in fputs()
362 int fprintf(int file, const char *fmt, ...)  in fprintf()
443 	char *buffer;  in pre_console_putc()  local
672 struct stdio_dev *search_device(int flags, const char *name)  in search_device()
688 int console_assign(int file, const char *devname)  in console_assign()