106 static int console_setfile(int file, struct stdio_dev * dev)  in console_setfile()
158 static bool console_dev_is_serial(struct stdio_dev *sdev)  in console_dev_is_serial()
177 static struct stdio_dev *tstcdev;
178 struct stdio_dev **console_devices[MAX_FILES];
200 	struct stdio_dev *dev;  in console_tstc()
223 	struct stdio_dev *dev;  in console_putc()
235 	struct stdio_dev *dev;  in console_puts_noserial()
247 	struct stdio_dev *dev;  in console_puts()
257 static inline void console_doenv(int file, struct stdio_dev *dev)  in console_doenv()
290 static inline void console_doenv(int file, struct stdio_dev *dev)  in console_doenv()
696 struct stdio_dev *search_device(int flags, const char *name)  in search_device()
698 	struct stdio_dev *dev;  in search_device()
715 	struct stdio_dev *dev;  in console_assign()
815 	struct stdio_dev *inputdev = NULL, *outputdev = NULL, *errdev = NULL;  in console_init_r()
915 	struct stdio_dev *inputdev = NULL, *outputdev = NULL;  in console_init_r()
919 	struct stdio_dev *dev;  in console_init_r()
943 		dev = list_entry(pos, struct stdio_dev, list);  in console_init_r()