#include <stdio.h>
#include <stdarg.h>
/*#include <varargs.h>*/
#include "def.h"
#include "syslogif.h"

void dprintf(const char *format,...)
{
  char msg[1024];
  va_list ap;
  va_start(ap,format);
  vsprintf(msg,format,ap);
  va_end(ap);
  xsyslogf_irq(SYSLOG_FILE,LOG_DEBUG_LOW,msg);
}
