110 static int console_setfile(int file, struct stdio_dev * dev)  in console_setfile()
162 static bool console_dev_is_serial(struct stdio_dev *sdev)  in console_dev_is_serial()
181 static struct stdio_dev *tstcdev;
182 struct stdio_dev **console_devices[MAX_FILES];
204 	struct stdio_dev *dev;  in console_tstc()
226 	struct stdio_dev *dev;  in console_putc()
238 	struct stdio_dev *dev;  in console_puts_noserial()
250 	struct stdio_dev *dev;  in console_puts()
259 static inline void console_doenv(int file, struct stdio_dev *dev)  in console_doenv()
267 	struct stdio_dev *dev;  in console_clear()
308 static inline void console_doenv(int file, struct stdio_dev *dev)  in console_doenv()
724 struct stdio_dev *search_device(int flags, const char *name)  in search_device()
726 	struct stdio_dev *dev;  in search_device()
743 	struct stdio_dev *dev;  in console_assign()
835 	struct stdio_dev *inputdev = NULL, *outputdev = NULL, *errdev = NULL;  in console_init_r()
928 	struct stdio_dev *inputdev = NULL, *outputdev = NULL;  in console_init_r()
932 	struct stdio_dev *dev;  in console_init_r()
951 		dev = list_entry(pos, struct stdio_dev, list);  in console_init_r()