112 static int console_setfile(int file, struct stdio_dev * dev)  in console_setfile()  argument
119 	switch (file) {  in console_setfile()
132 		stdio_devices[file] = dev;  in console_setfile()
138 		switch (file) {  in console_setfile()
193 static int console_getc(int file)  in console_getc()  argument
203 static int console_tstc(int file)  in console_tstc()  argument
209 	for (i = 0; i < cd_count[file]; i++) {  in console_tstc()
210 		dev = console_devices[file][i];  in console_tstc()
225 static void console_putc(int file, const char c)  in console_putc()  argument
230 	for (i = 0; i < cd_count[file]; i++) {  in console_putc()
231 		dev = console_devices[file][i];  in console_putc()
237 static void console_puts_noserial(int file, const char *s)  in console_puts_noserial()  argument
242 	for (i = 0; i < cd_count[file]; i++) {  in console_puts_noserial()
243 		dev = console_devices[file][i];  in console_puts_noserial()
249 static void console_puts(int file, const char *s)  in console_puts()  argument
254 	for (i = 0; i < cd_count[file]; i++) {  in console_puts()
255 		dev = console_devices[file][i];  in console_puts()
261 static inline void console_doenv(int file, struct stdio_dev *dev)  in console_doenv()  argument
263 	iomux_doenv(file, dev->name);  in console_doenv()
266 static void console_clear(int file)  in console_clear()  argument
271 	for (i = 0; i < cd_count[file]; i++) {  in console_clear()
272 		dev = console_devices[file][i];  in console_clear()
278 static inline int console_getc(int file)  in console_getc()  argument
280 	return stdio_devices[file]->getc(stdio_devices[file]);  in console_getc()
283 static inline int console_tstc(int file)  in console_tstc()  argument
285 	return stdio_devices[file]->tstc(stdio_devices[file]);  in console_tstc()
288 static inline void console_putc(int file, const char c)  in console_putc()  argument
290 	stdio_devices[file]->putc(stdio_devices[file], c);  in console_putc()
293 static inline void console_puts_noserial(int file, const char *s)  in console_puts_noserial()  argument
295 	if (!console_dev_is_serial(stdio_devices[file]))  in console_puts_noserial()
296 		stdio_devices[file]->puts(stdio_devices[file], s);  in console_puts_noserial()
299 static inline void console_puts(int file, const char *s)  in console_puts()  argument
301 	stdio_devices[file]->puts(stdio_devices[file], s);  in console_puts()
304 static inline void console_clear(int file)  in console_clear()  argument
306 	if (stdio_devices[file]->clear)  in console_clear()
307 		stdio_devices[file]->clear(stdio_devices[file]);  in console_clear()
310 static inline void console_doenv(int file, struct stdio_dev *dev)  in console_doenv()  argument
312 	console_setfile(file, dev);  in console_doenv()
336 int fgetc(int file)  in fgetc()  argument
338 	if (file < MAX_FILES) {  in fgetc()
350 				return console_getc(file);  in fgetc()
351 			console_tstc(file);  in fgetc()
361 		return console_getc(file);  in fgetc()
368 int ftstc(int file)  in ftstc()  argument
370 	if (file < MAX_FILES)  in ftstc()
371 		return console_tstc(file);  in ftstc()
376 void fputc(int file, const char c)  in fputc()  argument
378 	if (file < MAX_FILES)  in fputc()
379 		console_putc(file, c);  in fputc()
382 void fputs(int file, const char *s)  in fputs()  argument
384 	if (file < MAX_FILES)  in fputs()
385 		console_puts(file, s);  in fputs()
388 void fclear(int file)  in fclear()  argument
390 	if (file < MAX_FILES)  in fclear()
391 		console_clear(file);  in fclear()
394 int fprintf(int file, const char *fmt, ...)  in fprintf()  argument
409 	fputs(file, printbuffer);  in fprintf()
758 int console_assign(int file, const char *devname)  in console_assign()  argument
764 	switch (file) {  in console_assign()
781 		return console_setfile(file, dev);  in console_assign()