1 /* SPDX-License-Identifier: GPL-2.0+ */ 2 /* 3 * (C) Copyright 2008 4 * Gary Jennejohn, DENX Software Engineering GmbH, garyj@denx.de. 5 */ 6 7 #ifndef _IO_MUX_H 8 #define _IO_MUX_H 9 10 #include <stdio_dev.h> 11 12 /* 13 * Stuff required to support console multiplexing. 14 */ 15 16 /* 17 * Pointers to devices used for each file type. Defined in console.c 18 * but storage is allocated in iomux.c. 19 */ 20 extern struct stdio_dev **console_devices[MAX_FILES]; 21 /* 22 * The count of devices assigned to each FILE. Defined in console.c 23 * and populated in iomux.c. 24 */ 25 extern int cd_count[MAX_FILES]; 26 27 int iomux_doenv(const int, const char *); 28 void iomux_printdevs(const int); 29 struct stdio_dev *search_device(int, const char *); 30 31 #endif /* _IO_MUX_H */ 32