104 static int console_setfile(int file, struct stdio_dev * dev)  in console_setfile()
156 static bool console_dev_is_serial(struct stdio_dev *sdev)  in console_dev_is_serial()
175 static struct stdio_dev *tstcdev;
176 struct stdio_dev **console_devices[MAX_FILES];
198 	struct stdio_dev *dev;  in console_tstc()
221 	struct stdio_dev *dev;  in console_putc()
233 	struct stdio_dev *dev;  in console_puts_noserial()
245 	struct stdio_dev *dev;  in console_puts()
254 static inline void console_doenv(int file, struct stdio_dev *dev)  in console_doenv()
285 static inline void console_doenv(int file, struct stdio_dev *dev)  in console_doenv()
679 struct stdio_dev *search_device(int flags, const char *name)  in search_device()
681 	struct stdio_dev *dev;  in search_device()
698 	struct stdio_dev *dev;  in console_assign()
788 	struct stdio_dev *inputdev = NULL, *outputdev = NULL, *errdev = NULL;  in console_init_r()
881 	struct stdio_dev *inputdev = NULL, *outputdev = NULL;  in console_init_r()
885 	struct stdio_dev *dev;  in console_init_r()
904 		dev = list_entry(pos, struct stdio_dev, list);  in console_init_r()