00001 #ifndef __KERNEL__
00002
00003 #include_next <stdio.h>
00004
00005 #ifndef _XENO_POSIX_STDIO_H
00006 #define _XENO_POSIX_STDIO_H
00007
00008 #include <stddef.h>
00009 #include <stdarg.h>
00010
00011 #ifdef __cplusplus
00012 extern "C" {
00013 #endif
00014
00015 int __real_vfprintf(FILE *stream, const char *fmt, va_list args);
00016
00017 int __real_vprintf(const char *fmt, va_list args);
00018
00019 int __real_fprintf(FILE *stream, const char *fmt, ...);
00020
00021 int __real_printf(const char *fmt, ...);
00022
00023 int __real_puts(const char *s);
00024
00025 int __real_fputs(const char *s, FILE *stream);
00026
00027 int __real_fputc(int c, FILE *stream);
00028
00029 int __real_putchar(int c);
00030
00031 size_t __real_fwrite(const void *ptr, size_t sz, size_t nmemb, FILE *stream);
00032
00033 #ifdef __cplusplus
00034 }
00035 #endif
00036
00037 #endif
00038
00039 #endif