tag	line	file	source code
va_end	33	arch/alpha/boot/main.c	va_end(args);
va_end	1084	drivers/cdrom/mcdx.c	va_end(args);
va_end	1096	drivers/cdrom/mcdx.c	va_end(args);
va_end	704	drivers/cdrom/sbpcd.c	va_end(args);
va_end	1119	drivers/scsi/aic7xxx.c	va_end(ap);
va_end	46	drivers/scsi/aic7xxx_proc.c	va_end(ap);
va_end	48	fs/ext2/super.c	va_end (args);
va_end	77	fs/ext2/super.c	va_end (args);
va_end	89	fs/ext2/super.c	va_end (args);
va_end	158	fs/super.c	va_end(args);
va_end	598	init/main.c	va_end(args);
va_end	25	kernel/panic.c	va_end(args);
va_end	161	kernel/printk.c	va_end(args);
va_end	22	lib/open.c	va_end(arg);
va_end	303	lib/vsprintf.c	va_end(args);