tag	line	file	source code
va_end	587	fs/buffer.c	va_end(args);
va_end	448	init/main.c	va_end(args);
va_end	565	kernel/blk_drv/scsi/wd7000.c	va_end(args);
va_end	28	kernel/panic.c	va_end(args);
va_end	134	kernel/printk.c	va_end(args);
va_end	269	kernel/vsprintf.c	va_end(args);
va_end	92	net/inet/utils.c	va_end(args);
va_end	80	net/socket.c	va_end(args);
va_end	95	net/unix/sock.c	va_end(args);