taglinefilesource code
va_arg412fs/buffer.cwhile ((first=va_arg(args,int))>=0) {
va_arg132kernel/vsprintf.cfield_width = va_arg(args, int);
va_arg147kernel/vsprintf.cprecision = va_arg(args, int);
va_arg165kernel/vsprintf.c*str++ = (unsigned char) va_arg(args, int);
va_arg171kernel/vsprintf.cs = va_arg(args, char *);
va_arg188kernel/vsprintf.cstr = number(str, va_arg(args, unsigned long), 8,
va_arg198kernel/vsprintf.c(unsigned long) va_arg(args, void *), 16,
va_arg205kernel/vsprintf.cstr = number(str, va_arg(args, unsigned long), 16,
va_arg213kernel/vsprintf.cstr = number(str, va_arg(args, unsigned long), 10,
va_arg218kernel/vsprintf.cip = va_arg(args, int *);
va_arg21lib/open.c"d" (va_arg(arg,int)));