3 #pragma GCC system_header
5 #include_next <stdio.h>
7 #ifndef _XENO_POSIX_STDIO_H
8 #define _XENO_POSIX_STDIO_H
12 #include <xeno_config.h>
18 int __real_vfprintf(FILE *stream,
const char *fmt, va_list args);
20 #ifdef CONFIG_XENO_FORTIFY
21 int __real___vfprintf_chk(FILE *stream,
int level,
const char *fmt, va_list ap);
24 int __real_vprintf(
const char *fmt, va_list args);
26 int __real_fprintf(FILE *stream,
const char *fmt, ...);
28 int __real_printf(
const char *fmt, ...);
30 int __real_puts(
const char *s);
32 int __real_fputs(
const char *s, FILE *stream);
34 int __real_fputc(
int c, FILE *stream);
36 int __real_putchar(
int c);
38 size_t __real_fwrite(
const void *ptr,
size_t sz,
size_t nmemb, FILE *stream);