l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/vprintf_backend.h

   1 #ifndef __VPRINTF_BACKEND_H__
   2 #define __VPRINTF_BACKEND_H__
   3
   4 #include <stddef.h>
   5 #include <cdefs.h>
   6
   7 typedef int (output_func)(char const *, size_t, void*);
   8
   9 struct output_op {
  10   void *data;
  11   output_func *put;
  12 };
  13
  14 __BEGIN_DECLS
  15
  16 int __v_printf(struct output_op* fn, const char *format, va_list arg_ptr);
  17
  18 __END_DECLS
  19
  20
  21 #endif // __VPRINTF_BACKEND_H__