3 * Gary Jennejohn, DENX Software Engineering GmbH, garyj@denx.de.
5 * SPDX-License-Identifier: GPL-2.0+
11 #include <stdio_dev.h>
14 * Stuff required to support console multiplexing.
18 * Pointers to devices used for each file type. Defined in console.c
19 * but storage is allocated in iomux.c.
21 extern struct stdio_dev **console_devices[MAX_FILES];
23 * The count of devices assigned to each FILE. Defined in console.c
24 * and populated in iomux.c.
26 extern int cd_count[MAX_FILES];
28 int iomux_doenv(const int, const char *);
29 void iomux_printdevs(const int);
30 struct stdio_dev *search_device(int, const char *);
32 #endif /* _IO_MUX_H */