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