taglinefilesource code
va_start30arch/alpha/boot/main.cva_start(args, fmt);
va_start675drivers/block/sbpcd.cva_start(args, fmt);
va_start221drivers/scsi/aha274x.cva_start(ap, fmt);
va_start43fs/ext2/super.cva_start (args, fmt);
va_start72fs/ext2/super.cva_start (args, fmt);
va_start84fs/ext2/super.cva_start (args, fmt);
va_start137fs/super.cva_start(args, option);
va_start412init/main.cva_start(args, fmt);
va_start23kernel/panic.cva_start(args, fmt);
va_start152kernel/printk.cva_start(args, fmt);
va_start20lib/open.cva_start(arg,flag);
va_start301lib/vsprintf.cva_start(args, fmt);