| 1 | struct FILE; |
|---|---|
| 2 | extern int vfprintf(struct FILE *s, const char *format, __builtin_va_list arg); |
| 3 | extern int vprintf(const char *format, __builtin_va_list arg); |
| 4 | |
| 5 | extern __inline __attribute__((gnu_inline,always_inline)) int |
| 6 | vprintf(const char *x, __builtin_va_list y) |
| 7 | { |
| 8 | return vfprintf (0, 0, y); |
| 9 | } |
| 10 |