taglinefilesource code
va_start566fs/buffer.cva_start(args,first);
va_start446init/main.cva_start(args, fmt);
va_start563kernel/blk_drv/scsi/wd7000.cva_start(args, fmt);
va_start26kernel/panic.cva_start(args, fmt);
va_start132kernel/printk.cva_start(args, fmt);
va_start267kernel/vsprintf.cva_start(args, fmt);
va_start16lib/open.cva_start(arg,flag);
va_start90net/inet/utils.cva_start(args, fmt);
va_start78net/socket.cva_start(args, fmt);
va_start93net/unix/sock.cva_start(args, fmt);