tag	line	file	source code
va_end	579	drivers/block/sbpcd.c	va_end(args);
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	153	fs/super.c	va_end(args);
va_end	528	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	304	kernel/vsprintf.c	va_end(args);