| * Gary Jennejohn, DENX Software Engineering GmbH, garyj@denx.de. |
| * SPDX-License-Identifier: GPL-2.0+ |
| * Stuff required to support console multiplexing. |
| * Pointers to devices used for each file type. Defined in console.c |
| * but storage is allocated in iomux.c. |
| extern struct stdio_dev **console_devices[MAX_FILES]; |
| * The count of devices assigned to each FILE. Defined in console.c |
| * and populated in iomux.c. |
| extern int cd_count[MAX_FILES]; |
| int iomux_doenv(const int, const char *); |
| void iomux_printdevs(const int); |
| struct stdio_dev *search_device(int, const char *); |