2018-05-07 05:58:06 +08:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0+ */
|
2008-11-06 22:04:23 +08:00
|
|
|
/*
|
|
|
|
* (C) Copyright 2008
|
|
|
|
* Gary Jennejohn, DENX Software Engineering GmbH, garyj@denx.de.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef _IO_MUX_H
|
|
|
|
#define _IO_MUX_H
|
|
|
|
|
2009-05-16 18:14:54 +08:00
|
|
|
#include <stdio_dev.h>
|
2008-11-06 22:04:23 +08:00
|
|
|
|
|
|
|
/*
|
|
|
|
* 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.
|
|
|
|
*/
|
2009-05-16 18:14:54 +08:00
|
|
|
extern struct stdio_dev **console_devices[MAX_FILES];
|
2008-11-06 22:04:23 +08:00
|
|
|
/*
|
|
|
|
* 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);
|
2010-10-20 19:18:03 +08:00
|
|
|
struct stdio_dev *search_device(int, const char *);
|
2008-11-06 22:04:23 +08:00
|
|
|
|
|
|
|
#endif /* _IO_MUX_H */
|