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