__va_list          44 kern/include/stdarg.h typedef __va_list va_list;
__va_list          41 user/include/stdarg.h typedef __va_list va_list;