Files
rtems/cpukit/libcsupport/src/printk_plugin.c
2008-08-26 11:55:31 +00:00

36 lines
584 B
C

/*
* COPYRIGHT (c) 1989-2007.
* On-Line Applications Research Corporation (OAR).
*
* The license and distribution terms for this file may be
* found in the file LICENSE in this distribution or at
* http://www.rtems.com/license/LICENSE.
*
* $Id$
*/
#if HAVE_CONFIG_H
#include "config.h"
#endif
#include <stdarg.h>
#include <rtems/bspIo.h>
int printk_plugin(
void *ignored,
const char *format,
...
)
{
va_list arg_pointer;
va_start (arg_pointer, format);
vprintk( format, arg_pointer );
va_end(arg_pointer); /* clean up when done */
return 0;
}