tag	line	file	source code
va_end	521	fs/buffer.c	va_end(args);
va_end	346	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);
va_end	94	net/inet/utils.c	va_end(args);
va_end	82	net/socket.c	va_end(args);
va_end	95	net/unix/sock.c	va_end(args);