tag	line	file	source code
va_list	458	fs/buffer.c	va_list args;
va_list	295	init/main.c	va_list args;
va_list	556	kernel/blk_drv/scsi/wd7000.c	va_list args;
va_list	557	kernel/blk_drv/scsi/wd7000.c	extern int vsprintf(char *buf, const char *fmt, va_list args);
va_list	18	kernel/printk.c	extern int vsprintf(char * buf, const char * fmt, va_list args);
va_list	84	kernel/printk.c	va_list args;
va_list	119	kernel/vsprintf.c	int vsprintf(char *buf, const char *fmt, va_list args)
va_list	264	kernel/vsprintf.c	va_list args;
va_list	14	lib/open.c	va_list arg;