x86: irq: Support flags for acpi_gpe
[platform/kernel/u-boot.git] / include / iomux.h
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 */