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