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