tag	line	file	source code
va_end	33	arch/alpha/boot/main.c	va_end(args);
va_end	79	arch/ppc/kernel/raw_printf.c	va_end(ap);
va_end	99	arch/ppc/kernel/raw_printf.c	va_end(ap);
va_end	37	arch/sparc/prom/printf.c	va_end(args);
va_end	1034	drivers/cdrom/mcdx.c	va_end(args);
va_end	1046	drivers/cdrom/mcdx.c	va_end(args);
va_end	727	drivers/cdrom/sbpcd.c	va_end(args);
va_end	1158	drivers/scsi/aic7xxx.c	va_end(ap);
va_end	46	drivers/scsi/aic7xxx_proc.c	va_end(ap);
va_end	48	fs/ext2/super.c	va_end (args);
va_end	77	fs/ext2/super.c	va_end (args);
va_end	89	fs/ext2/super.c	va_end (args);
va_end	256	fs/super.c	va_end(args);
va_end	668	init/main.c	va_end(args);
va_end	25	kernel/panic.c	va_end(args);
va_end	163	kernel/printk.c	va_end(args);
va_end	303	lib/vsprintf.c	va_end(args);