tag	line	file	source code
va_end	443	fs/buffer.c	va_end(args);
va_end	300	init/main.c	va_end(args);
va_end	561	kernel/blk_drv/scsi/wd7000.c	va_end(args);
va_end	92	kernel/printk.c	va_end(args);
va_end	269	kernel/vsprintf.c	va_end(args);