root/sys/arch/hpcmips/stand/include/machine/stdarg.h
#include <stdarg.h>