diff options
| author | Andy Shevchenko <[email protected]> | 2021-02-11 17:09:34 +0200 |
|---|---|---|
| committer | Tom Rini <[email protected]> | 2021-02-16 11:16:07 -0500 |
| commit | c090e8f2367f1c532bf30935104eccdada9d013d (patch) | |
| tree | f114c5a9995589c679583aebf65ebdfd9892f9f5 /include/stdio_dev.h | |
| parent | 767582cd4c755c52bce3e1813bc462f37047cb5c (diff) | |
stdio: Get rid of dead code, i.e. stdio_deregister()
Nobody is using stdio_deregister(), remove for good.
Note, even its parameters are not consistent with stdio_register().
So, if anyone want to introduce this again, better with some consistency.
Signed-off-by: Andy Shevchenko <[email protected]>
Diffstat (limited to 'include/stdio_dev.h')
| -rw-r--r-- | include/stdio_dev.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/include/stdio_dev.h b/include/stdio_dev.h index 48871a6a22b..109a68d0640 100644 --- a/include/stdio_dev.h +++ b/include/stdio_dev.h @@ -83,7 +83,6 @@ int stdio_add_devices(void); int stdio_init(void); void stdio_print_current_devices(void); -int stdio_deregister(const char *devname, int force); /** * stdio_deregister_dev() - deregister the device "devname". |