tag	line	file	source code
va_start	31	arch/alpha/boot/main.c	va_start(args, fmt);
va_start	76	arch/ppc/kernel/raw_printf.c	va_start(ap, fmt);
va_start	97	arch/ppc/kernel/raw_printf.c	va_start(ap, fmt);
va_start	25	arch/sparc/prom/printf.c	va_start(args, fmt);
va_start	1030	drivers/cdrom/mcdx.c	va_start(args, fmt);
va_start	1042	drivers/cdrom/mcdx.c	va_start(args, fmt);
va_start	725	drivers/cdrom/sbpcd.c	va_start(args, fmt);
va_start	1155	drivers/scsi/aic7xxx.c	va_start(ap, fmt);
va_start	43	drivers/scsi/aic7xxx_proc.c	va_start(ap, fmt);
va_start	46	fs/ext2/super.c	va_start (args, fmt);
va_start	75	fs/ext2/super.c	va_start (args, fmt);
va_start	87	fs/ext2/super.c	va_start (args, fmt);
va_start	241	fs/super.c	va_start(args, option);
va_start	666	init/main.c	va_start(args, fmt);
va_start	23	kernel/panic.c	va_start(args, fmt);
va_start	160	kernel/printk.c	va_start(args, fmt);
va_start	301	lib/vsprintf.c	va_start(args, fmt);