112 static int console_setfile(int file, struct stdio_dev * dev)  in console_setfile()
164 static bool console_dev_is_serial(struct stdio_dev *sdev)  in console_dev_is_serial()
183 static struct stdio_dev *tstcdev;
184 struct stdio_dev **console_devices[MAX_FILES];
206 	struct stdio_dev *dev;  in console_tstc()
228 	struct stdio_dev *dev;  in console_putc()
240 	struct stdio_dev *dev;  in console_puts_noserial()
252 	struct stdio_dev *dev;  in console_puts()
261 static inline void console_doenv(int file, struct stdio_dev *dev)  in console_doenv()
269 	struct stdio_dev *dev;  in console_clear()
310 static inline void console_doenv(int file, struct stdio_dev *dev)  in console_doenv()
742 struct stdio_dev *search_device(int flags, const char *name)  in search_device()
744 	struct stdio_dev *dev;  in search_device()
761 	struct stdio_dev *dev;  in console_assign()
853 	struct stdio_dev *inputdev = NULL, *outputdev = NULL, *errdev = NULL;  in console_init_r()
946 	struct stdio_dev *inputdev = NULL, *outputdev = NULL;  in console_init_r()
950 	struct stdio_dev *dev;  in console_init_r()
969 		dev = list_entry(pos, struct stdio_dev, list);  in console_init_r()