tag	line	file	source code
va_end	579	drivers/block/sbpcd.c	va_end(args);
va_end	42	fs/ext2/super.c	va_end (args);
va_end	72	fs/ext2/super.c	va_end (args);
va_end	85	fs/ext2/super.c	va_end (args);
va_end	153	fs/super.c	va_end(args);
va_end	514	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);