Make printk_plugin() static

cpukit/include/rtems/bspIo.h

@@ -141,16 +141,6 @@ extern void rtems_putc(char c);
  */
 typedef int (*rtems_print_plugin_t)(void *, const char *format, va_list ap);
 
-/**
- * @brief Reporting Methods printk() Plugin
- *
- * @param[in] context Unused.
- * @param[in] fmt is a printf()-style format string
- *
- * @return The number of characters printed.
- */
-extern int printk_plugin(void *context, const char *fmt, va_list ap);
-
 /**
  * @brief Reporting Methods printf() Plugin
  *

cpukit/libcsupport/src/printk_plugin.c

@@ -18,18 +18,9 @@
 #include "config.h"
 #endif
 
-#include <stdarg.h>
 #include <rtems/print.h>
 
-void rtems_print_printer_printk(
-  rtems_printer *printer
-)
-{
-  printer->context = NULL;
-  printer->printer = printk_plugin;
-}
-
-int printk_plugin(
+static int printk_plugin(
   void *ignored,
   const char *format,
   va_list ap
@@ -39,3 +30,11 @@ int printk_plugin(
   vprintk( format, ap );
   return 0;
 }
+
+void rtems_print_printer_printk(
+  rtems_printer *printer
+)
+{
+  printer->context = NULL;
+  printer->printer = printk_plugin;
+}