util/uio_usbdebug/console/printk.c

   1 /* SPDX-License-Identifier: GPL-2.0-only */
   2
   3 #include <stdio.h>
   4 #include <stdarg.h>
   5 #include <console/console.h>
   6
   7 int printk(int msg_level, const char *const fmt, ...)
   8 {
   9         va_list args;
  10         int i;
  11
  12         va_start(args, fmt);
  13         i = vfprintf(stderr, fmt, args);
  14         va_end(args);
  15
  16         return i;
  17 }