tag	line	file	source code
va_end	32	arch/alpha/boot/main.c	va_end(args);
va_end	677	drivers/block/sbpcd.c	va_end(args);
va_end	224	drivers/scsi/aha274x.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	414	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);