tag	line	file	source code
va_end	34	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	1085	drivers/cdrom/mcdx.c	va_end(args);
va_end	1097	drivers/cdrom/mcdx.c	va_end(args);
va_end	91	drivers/cdrom/optcd.c	va_end(args);
va_end	741	drivers/cdrom/sbpcd.c	va_end(args);
va_end	4752	drivers/scsi/advansys.c	va_end(args);
va_end	677	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	93	fs/ext2/super.c	va_end (args);
va_end	262	fs/super.c	va_end(args);
va_end	739	init/main.c	va_end(args);
va_end	38	kernel/panic.c	va_end(args);
va_end	163	kernel/printk.c	va_end(args);
va_end	303	lib/vsprintf.c	va_end(args);