tag	line	file	source code
va_arg	579	fs/buffer.c	while ((first=va_arg(args,int))>=0) {
va_arg	158	kernel/vsprintf.c	field_width = va_arg(args, int);
va_arg	173	kernel/vsprintf.c	precision = va_arg(args, int);
va_arg	191	kernel/vsprintf.c	*str++ = (unsigned char) va_arg(args, int);
va_arg	197	kernel/vsprintf.c	s = va_arg(args, char *);
va_arg	214	kernel/vsprintf.c	str = number(str, va_arg(args, unsigned long), 8,
va_arg	224	kernel/vsprintf.c	(unsigned long) va_arg(args, void *), 16,
va_arg	231	kernel/vsprintf.c	str = number(str, va_arg(args, unsigned long), 16,
va_arg	239	kernel/vsprintf.c	str = number(str, va_arg(args, unsigned long), 10,
va_arg	244	kernel/vsprintf.c	ip = va_arg(args, int *);
va_arg	21	lib/open.c	"d" (va_arg(arg,int)));