diff options
| author | Jean-Christophe PLAGNIOL-VILLARD <plagnioj@jcrosoft.com> | 2009-05-16 12:14:55 +0200 |
|---|---|---|
| committer | Wolfgang Denk <wd@denx.de> | 2009-07-19 01:02:46 +0200 |
| commit | 7e3be7cf3bb344f717b6ec3d47a081269ea67ead (patch) | |
| tree | 15a53811bc8b871f6d82eec377822ead907112f8 /include/stdio_dev.h | |
| parent | a694610d3361465d4c8d27dde72ab8b63d31115e (diff) | |
console: unify printing current devices
Create stdio_print_current_devices() for this purpose
Signed-off-by: Jean-Christophe PLAGNIOL-VILLARD <plagnioj@jcrosoft.com>
Diffstat (limited to 'include/stdio_dev.h')
| -rw-r--r-- | include/stdio_dev.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/stdio_dev.h b/include/stdio_dev.h index 8b06ccf005a..83da4cdff15 100644 --- a/include/stdio_dev.h +++ b/include/stdio_dev.h @@ -91,6 +91,7 @@ extern char *stdio_names[MAX_FILES]; */ int stdio_register (struct stdio_dev * dev); int stdio_init (void); +void stdio_print_current_devices(void); #ifdef CONFIG_SYS_STDIO_DEREGISTER int stdio_deregister(char *devname); #endif |