2 * Copyright (C) 2011-2013 Gilles Chanteperdrix <gch@xenomai.org>.
4 * This 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 of the License, or (at your option) any later version.
9 * This 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 this library; if not, write to the Free Software
16 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
21 #pragma GCC system_header
23 #include_next <stdio.h>
25 #ifndef _XENO_POSIX_STDIO_H
26 #define _XENO_POSIX_STDIO_H
30 #include <xeno_config.h>
34 #endif /* __cplusplus */
36 int __real_vfprintf(FILE *stream
, const char *fmt
, va_list args
);
38 #ifdef CONFIG_XENO_FORTIFY
39 int __real___vfprintf_chk(FILE *stream
, int level
, const char *fmt
, va_list ap
);
42 int __real_vprintf(const char *fmt
, va_list args
);
44 int __real_fprintf(FILE *stream
, const char *fmt
, ...);
46 int __real_printf(const char *fmt
, ...);
48 int __real_puts(const char *s
);
50 int __real_fputs(const char *s
, FILE *stream
);
52 int __real_fputc(int c
, FILE *stream
);
54 int __real_putchar(int c
);
56 size_t __real_fwrite(const void *ptr
, size_t sz
, size_t nmemb
, FILE *stream
);
58 int __real_fclose(FILE *stream
);
62 #endif /* __cplusplus */
64 #endif /* _XENO_POSIX_STDIO_H */
66 #endif /* !__KERNEL__ */