| /* |
| * (C) Copyright 2008 |
| * Gary Jennejohn, DENX Software Engineering GmbH, garyj@denx.de. |
| * |
| * SPDX-License-Identifier: GPL-2.0+ |
| */ |
| |
| #ifndef _IO_MUX_H |
| #define _IO_MUX_H |
| |
| #include <stdio_dev.h> |
| |
| /* |
| * 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 *); |
| |
| #endif /* _IO_MUX_H */ |