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
);
5 extern __inline
__attribute__((gnu_inline
,always_inline
)) int
6 vprintf(const char *x
, __builtin_va_list y
)
8 return vfprintf (0, 0, y
);