taglinefilesource code
va_arg583fs/buffer.cwhile ((first=va_arg(args,int))>=0) {
va_arg158kernel/vsprintf.cfield_width = va_arg(args, int);
va_arg173kernel/vsprintf.cprecision = va_arg(args, int);
va_arg191kernel/vsprintf.c*str++ = (unsigned char) va_arg(args, int);
va_arg197kernel/vsprintf.cs = va_arg(args, char *);
va_arg216kernel/vsprintf.cstr = number(str, va_arg(args, unsigned long), 8,
va_arg226kernel/vsprintf.c(unsigned long) va_arg(args, void *), 16,
va_arg233kernel/vsprintf.cstr = number(str, va_arg(args, unsigned long), 16,
va_arg241kernel/vsprintf.cstr = number(str, va_arg(args, unsigned long), 10,
va_arg246kernel/vsprintf.cip = va_arg(args, int *);
va_arg21lib/open.c"d" (va_arg(arg,int)));