[PATCH 12/18] console: Make stdio_print_current_devices() static

[Bin Meng]

As it is only called in common/console.c

Signed-off-by: Bin Meng <bmeng at tinylab.org>
---

 common/console.c    | 2 +-
 include/stdio_dev.h | 2 --
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/common/console.c b/common/console.c
index 71ad8efd6f..d0640ba05a 100644
--- a/common/console.c
+++ b/common/console.c
@@ -1010,7 +1010,7 @@ int console_init_f(void)
 	return 0;
 }
 
-void stdio_print_current_devices(void)
+static void stdio_print_current_devices(void)
 {
 	/* Print information */
 	puts("In:    ");
diff --git a/include/stdio_dev.h b/include/stdio_dev.h
index 77bf8a8970..7f18102052 100644
--- a/include/stdio_dev.h
+++ b/include/stdio_dev.h
@@ -84,8 +84,6 @@ int stdio_init_tables(void);
  */
 int stdio_add_devices(void);
 
-void stdio_print_current_devices(void);
-
 /**
  * stdio_deregister_dev() - deregister the device "devname".
  *
-- 
2.34.1