tag	line	file	source code
va_list	572	drivers/block/sbpcd.c	va_list args;
va_list	573	drivers/block/sbpcd.c	extern int vsprintf(char *buf, const char *fmt, va_list args);
va_list	32	fs/ext2/super.c	va_list args;
va_list	62	fs/ext2/super.c	va_list args;
va_list	81	fs/ext2/super.c	va_list args;
va_list	134	fs/super.c	va_list args;
va_list	46	include/linux/kernel.h	extern int vsprintf(char *buf, const char *, va_list);
va_list	523	init/main.c	va_list args;
va_list	21	kernel/panic.c	va_list args;
va_list	143	kernel/printk.c	va_list args;
va_list	134	kernel/vsprintf.c	int vsprintf(char *buf, const char *fmt, va_list args)
va_list	299	kernel/vsprintf.c	va_list args;
va_list	14	lib/open.c	va_list arg;