extern int utime(const char *, const struct utimbuf *);
extern int utmpname(const char *);
extern int utmpxname(const char *);
-extern void va_end(va_list);
+extern void va_end(__gnuc_va_list);
extern int vadvise(int);
extern void * valloc(size_t);
extern pid_t vfork(void);
-extern int vfprintf(FILE *, const char *, va_list);
+extern int vfprintf(FILE *, const char *, __gnuc_va_list);
extern int vhangup(void);
extern int vid32attr(chtype);
extern int vid32puts(chtype, int (*) (char));
extern void vidupdate(chtype, chtype, int (*) (char));
extern int vn_close(/* ??? */);
-extern int vprintf(const char *, va_list);
-extern int vsprintf(char *, const char *, va_list);
+extern int vprintf(const char *, __gnuc_va_list);
+extern int vsprintf(char *, const char *, __gnuc_va_list);
extern int vwprintw(WINDOW *, char *, void *);
extern int vwscanw(WINDOW *, char *, void *);
extern int w32addch(WINDOW *, chtype);