diff options
author | Tom Rini <trini@ti.com> | 2014-10-06 15:49:50 -0400 |
---|---|---|
committer | Tom Rini <trini@ti.com> | 2014-10-06 15:49:50 -0400 |
commit | 8a6b088aff969a125cf4ed21f7608112f8b722e5 (patch) | |
tree | 347fdd557fbd93bc1f9bcee4e1da492bfbfecc74 /include/stdio_dev.h | |
parent | 04de09f89bbc647d5b72db3512d1af1475a13bbd (diff) | |
parent | e2140588dd2f3e619f21d9575281b7c7ea771c09 (diff) |
Merge branch 'master' of git://git.denx.de/u-boot-usb
Diffstat (limited to 'include/stdio_dev.h')
-rw-r--r-- | include/stdio_dev.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/include/stdio_dev.h b/include/stdio_dev.h index 268de8ea700..24da23fe501 100644 --- a/include/stdio_dev.h +++ b/include/stdio_dev.h @@ -103,8 +103,8 @@ int stdio_init(void); void stdio_print_current_devices(void); #ifdef CONFIG_SYS_STDIO_DEREGISTER -int stdio_deregister(const char *devname); -int stdio_deregister_dev(struct stdio_dev *dev); +int stdio_deregister(const char *devname, int force); +int stdio_deregister_dev(struct stdio_dev *dev, int force); #endif struct list_head* stdio_get_list(void); struct stdio_dev* stdio_get_by_name(const char* name); |