tag	line	file	source code
va_end	32	arch/alpha/boot/main.c	va_end(args);
va_end	920	drivers/block/mcdx.c	va_end(args);
va_end	933	drivers/block/mcdx.c	va_end(args);
va_end	707	drivers/block/sbpcd.c	va_end(args);
va_end	917	drivers/scsi/aic7xxx.c	va_end(ap);
va_end	45	fs/ext2/super.c	va_end (args);
va_end	74	fs/ext2/super.c	va_end (args);
va_end	86	fs/ext2/super.c	va_end (args);
va_end	152	fs/super.c	va_end(args);
va_end	449	init/main.c	va_end(args);
va_end	25	kernel/panic.c	va_end(args);
va_end	155	kernel/printk.c	va_end(args);
va_end	22	lib/open.c	va_end(arg);
va_end	303	lib/vsprintf.c	va_end(args);