1 /******************************************************************************
2 * Copyright (c) 2004, 2008 IBM Corporation
4 * This program and the accompanying materials
5 * are made available under the terms of the BSD License
6 * which accompanies this distribution, and is available at
7 * http://www.opensource.org/licenses/bsd-license.php
10 * IBM Corporation - initial implementation
11 *****************************************************************************/
34 extern FILE stdin_data;
35 extern FILE stdout_data;
36 extern FILE stderr_data;
38 #define stdin (&stdin_data)
39 #define stdout (&stdout_data)
40 #define stderr (&stderr_data)
42 int fileno(FILE *stream);
43 int printf(const char *format, ...) __attribute__((format (printf, 1, 2)));
44 int fprintf(FILE *stream, const char *format, ...) __attribute__((format (printf, 2, 3)));
45 int sprintf(char *str, const char *format, ...) __attribute__((format (printf, 2, 3)));
46 int vfprintf(FILE *stream, const char *format, va_list);
47 int vsprintf(char *str, const char *format, va_list);
48 int vsnprintf(char *str, size_t size, const char *format, va_list);
49 void setbuf(FILE *stream, char *buf);
50 int setvbuf(FILE *stream, char *buf, int mode , size_t size);
52 int putc(int ch, FILE *stream);
56 int scanf(const char *format, ...) __attribute__((format (scanf, 1, 2)));
57 int fscanf(FILE *stream, const char *format, ...) __attribute__((format (scanf, 2, 3)));
58 int vfscanf(FILE *stream, const char *format, va_list);
59 int vsscanf(const char *str, const char *format, va_list);
60 int getc(FILE *stream);