110 static int console_setfile(int file, struct stdio_dev * dev)  in console_setfile()  argument
117 	switch (file) {  in console_setfile()
130 		stdio_devices[file] = dev;  in console_setfile()
136 		switch (file) {  in console_setfile()
191 static int console_getc(int file)  in console_getc()  argument
201 static int console_tstc(int file)  in console_tstc()  argument
207 	for (i = 0; i < cd_count[file]; i++) {  in console_tstc()
208 		dev = console_devices[file][i];  in console_tstc()
223 static void console_putc(int file, const char c)  in console_putc()  argument
228 	for (i = 0; i < cd_count[file]; i++) {  in console_putc()
229 		dev = console_devices[file][i];  in console_putc()
235 static void console_puts_noserial(int file, const char *s)  in console_puts_noserial()  argument
240 	for (i = 0; i < cd_count[file]; i++) {  in console_puts_noserial()
241 		dev = console_devices[file][i];  in console_puts_noserial()
247 static void console_puts(int file, const char *s)  in console_puts()  argument
252 	for (i = 0; i < cd_count[file]; i++) {  in console_puts()
253 		dev = console_devices[file][i];  in console_puts()
259 static inline void console_doenv(int file, struct stdio_dev *dev)  in console_doenv()  argument
261 	iomux_doenv(file, dev->name);  in console_doenv()
264 static void console_clear(int file)  in console_clear()  argument
269 	for (i = 0; i < cd_count[file]; i++) {  in console_clear()
270 		dev = console_devices[file][i];  in console_clear()
276 static inline int console_getc(int file)  in console_getc()  argument
278 	return stdio_devices[file]->getc(stdio_devices[file]);  in console_getc()
281 static inline int console_tstc(int file)  in console_tstc()  argument
283 	return stdio_devices[file]->tstc(stdio_devices[file]);  in console_tstc()
286 static inline void console_putc(int file, const char c)  in console_putc()  argument
288 	stdio_devices[file]->putc(stdio_devices[file], c);  in console_putc()
291 static inline void console_puts_noserial(int file, const char *s)  in console_puts_noserial()  argument
293 	if (!console_dev_is_serial(stdio_devices[file]))  in console_puts_noserial()
294 		stdio_devices[file]->puts(stdio_devices[file], s);  in console_puts_noserial()
297 static inline void console_puts(int file, const char *s)  in console_puts()  argument
299 	stdio_devices[file]->puts(stdio_devices[file], s);  in console_puts()
302 static inline void console_clear(int file)  in console_clear()  argument
304 	if (stdio_devices[file]->clear)  in console_clear()
305 		stdio_devices[file]->clear(stdio_devices[file]);  in console_clear()
308 static inline void console_doenv(int file, struct stdio_dev *dev)  in console_doenv()  argument
310 	console_setfile(file, dev);  in console_doenv()
334 int fgetc(int file)  in fgetc()  argument
336 	if (file < MAX_FILES) {  in fgetc()
348 				return console_getc(file);  in fgetc()
349 			console_tstc(file);  in fgetc()
359 		return console_getc(file);  in fgetc()
366 int ftstc(int file)  in ftstc()  argument
368 	if (file < MAX_FILES)  in ftstc()
369 		return console_tstc(file);  in ftstc()
374 void fputc(int file, const char c)  in fputc()  argument
376 	if (file < MAX_FILES)  in fputc()
377 		console_putc(file, c);  in fputc()
380 void fputs(int file, const char *s)  in fputs()  argument
382 	if (file < MAX_FILES)  in fputs()
383 		console_puts(file, s);  in fputs()
386 void fclear(int file)  in fclear()  argument
388 	if (file < MAX_FILES)  in fclear()
389 		console_clear(file);  in fclear()
392 int fprintf(int file, const char *fmt, ...)  in fprintf()  argument
407 	fputs(file, printbuffer);  in fprintf()
740 int console_assign(int file, const char *devname)  in console_assign()  argument
746 	switch (file) {  in console_assign()
763 		return console_setfile(file, dev);  in console_assign()