taglinefilesource code
va_start389drivers/block/sbpcd.cva_start(args, fmt);
va_start564drivers/scsi/wd7000.cva_start(args, fmt);
va_start568fs/buffer.cva_start(args,first);
va_start42fs/ext2/super.cva_start (args, fmt);
va_start72fs/ext2/super.cva_start (args, fmt);
va_start85fs/ext2/super.cva_start (args, fmt);
va_start474init/main.cva_start(args, fmt);
va_start25kernel/panic.cva_start(args, fmt);
va_start152kernel/printk.cva_start(args, fmt);
va_start269kernel/vsprintf.cva_start(args, fmt);
va_start16lib/open.cva_start(arg,flag);
va_start94net/inet/utils.cva_start(args, fmt);
va_start89net/socket.cva_start(args, fmt);
va_start109net/unix/sock.cva_start(args, fmt);