1 /* Copyright (C) 1991-2014 Free Software Foundation, Inc.
2 This file is part of the GNU C Library.
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.
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.
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 <http://www.gnu.org/licenses/>. */
26 do_write (void *cookie, const char *buf, size_t n)
28 error_t error = __io_write ((io_t) cookie, buf, n, -1,
29 (mach_msg_type_number_t *) &n);
31 return __hurd_fail (error);
35 /* Write formatted output to PORT, a Mach port supporting the i/o protocol,
36 according to the format string FORMAT, using the argument list in ARG. */
38 vpprintf (io_t port, const char *format, va_list arg)
44 struct _IO_cookie_file cfile;
50 temp_f.cfile.__fp.file._lock = &temp_f.lock;
53 _IO_cookie_init (&temp_f.cfile, _IO_NO_READS,
54 (void *) port, (cookie_io_functions_t) { write: do_write });
56 done = _IO_vfprintf (&temp_f.cfile.__fp.file, format, arg);