tag	line	file	source code
va_end	620	drivers/block/sbpcd.c	va_end(args);
va_end	224	drivers/scsi/aha274x.c	va_end(ap);
va_end	43	fs/ext2/super.c	va_end (args);
va_end	73	fs/ext2/super.c	va_end (args);
va_end	86	fs/ext2/super.c	va_end (args);
va_end	151	fs/super.c	va_end(args);
va_end	501	init/main.c	va_end(args);
va_end	25	kernel/panic.c	va_end(args);
va_end	154	kernel/printk.c	va_end(args);
va_end	306	kernel/vsprintf.c	va_end(args);