1  /* Copyright (C) 1991-2023 Free Software Foundation, Inc.
       2     This file is part of the GNU C Library.
       3  
       4     The GNU C Library is free software; you can redistribute it and/or
       5     modify it under the terms of the GNU Lesser General Public
       6     License as published by the Free Software Foundation; either
       7     version 2.1 of the License, or (at your option) any later version.
       8  
       9     The GNU C Library is distributed in the hope that it will be useful,
      10     but WITHOUT ANY WARRANTY; without even the implied warranty of
      11     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
      12     Lesser General Public License for more details.
      13  
      14     You should have received a copy of the GNU Lesser General Public
      15     License along with the GNU C Library; if not, see
      16     <https://www.gnu.org/licenses/>.  */
      17  
      18  #include <stdarg.h>
      19  #include <stdio.h>
      20  #include <string.h>
      21  #include <hurd.h>
      22  
      23  #include <libioP.h>
      24  
      25  static ssize_t
      26  do_write (void *cookie,	const char *buf, size_t n)
      27  {
      28    io_t io = (io_t) (uintptr_t) cookie;
      29    vm_size_t amount = n;
      30    error_t error = __io_write (io, buf, n, -1, &amount);
      31    if (error)
      32      return __hurd_fail (error);
      33    return n;
      34  }
      35  
      36  /* Write formatted output to PORT, a Mach port supporting the i/o protocol,
      37     according to the format string FORMAT, using the argument list in ARG.  */
      38  int
      39  vpprintf (io_t port, const char *format, va_list arg)
      40  {
      41    int done;
      42  
      43    struct locked_FILE
      44    {
      45      struct _IO_cookie_file cfile;
      46  #ifdef _IO_MTSAFE_IO
      47      _IO_lock_t lock;
      48  #endif
      49    } temp_f;
      50  #ifdef _IO_MTSAFE_IO
      51    temp_f.cfile.__fp.file._lock = &temp_f.lock;
      52  #endif
      53  
      54    _IO_cookie_init (&temp_f.cfile, _IO_NO_READS,
      55                     (void *) (uintptr_t) port,
      56                     (cookie_io_functions_t) { write: do_write });
      57  
      58    done = __vfprintf_internal (&temp_f.cfile.__fp.file, format, arg, 0);
      59  
      60    return done;
      61  }