_STDARG_H_         30 kern/include/stdarg.h #ifndef _STDARG_H_
_STDARG_H_         30 user/include/stdarg.h #ifndef _STDARG_H_