tag	line	file	source code
va_start	427	fs/buffer.c	va_start(args,first);
va_start	298	init/main.c	va_start(args, fmt);
va_start	559	kernel/blk_drv/scsi/wd7000.c	va_start(args, fmt);
va_start	90	kernel/printk.c	va_start(args, fmt);
va_start	267	kernel/vsprintf.c	va_start(args, fmt);
va_start	16	lib/open.c	va_start(arg,flag);