diff options
Diffstat (limited to 'cpukit/libcsupport/src/printk_plugin.c')
| -rw-r--r-- | cpukit/libcsupport/src/printk_plugin.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/cpukit/libcsupport/src/printk_plugin.c b/cpukit/libcsupport/src/printk_plugin.c index 9d9f3de379..b600378d0a 100644 --- a/cpukit/libcsupport/src/printk_plugin.c +++ b/cpukit/libcsupport/src/printk_plugin.c @@ -22,13 +22,15 @@ #include <rtems/bspIo.h> int printk_plugin( - void *ignored __attribute__((unused)), + void *ignored, const char *format, ... ) { va_list arg_pointer; + (void) ignored; + va_start (arg_pointer, format); vprintk( format, arg_pointer ); |