tag	line	file	source code
va_start	405	fs/buffer.c	va_start(args,first);
va_start	72	init/main.c	va_start(args, fmt);
va_start	195	init/main.c	va_start(args, fmt);
va_start	88	kernel/printk.c	va_start(args, fmt);
va_start	16	lib/open.c	va_start(arg,flag);