/* Copyright (C) 1991-2018 Free Software Foundation, Inc.

   This file is part of the GNU C Library.

   The GNU C Library is free software; you can redistribute it and/or

   modify it under the terms of the GNU Lesser General Public

   License as published by the Free Software Foundation; either

   version 2.1 of the License, or (at your option) any later version.

   The GNU C Library is distributed in the hope that it will be useful,

   but WITHOUT ANY WARRANTY; without even the implied warranty of

   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU

   Lesser General Public License for more details.

   You should have received a copy of the GNU Lesser General Public

   License along with the GNU C Library; if not, see

   <http://www.gnu.org/licenses/>.  */

#include <stdarg.h>

#include <stdio.h>

#include <string.h>

#include <hurd.h>

#include <libioP.h>

static ssize_t

do_write (void *cookie,	const char *buf, size_t n)

{

  error_t error = __io_write ((io_t) cookie, buf, n, -1,

			      (mach_msg_type_number_t *) &n);

  if (error)

    return __hurd_fail (error);

  return n;

}

/* Write formatted output to PORT, a Mach port supporting the i/o protocol,

   according to the format string FORMAT, using the argument list in ARG.  */

int

vpprintf (io_t port, const char *format, va_list arg)

{

  int done;

  struct locked_FILE

  {

    struct _IO_cookie_file cfile;

#ifdef _IO_MTSAFE_IO

    _IO_lock_t lock;

#endif

  } temp_f;

#ifdef _IO_MTSAFE_IO

  temp_f.cfile.__fp.file._lock = &temp_f.lock;

#endif

  _IO_cookie_init (&temp_f.cfile, _IO_NO_READS,

		   (void *) port, (cookie_io_functions_t) { write: do_write });

  done = _IO_vfprintf (&temp_f.cfile.__fp.file, format, arg);

  return done;

}