_STDARG_H_         31 kern/include/stdarg.h #define _STDARG_H_
_STDARG_H_         31 user/include/stdarg.h #define _STDARG_H_