taglinefilesource code
va_start433fs/buffer.cva_start(args,first);
va_start331init/main.cva_start(args, fmt);
va_start559kernel/blk_drv/scsi/wd7000.cva_start(args, fmt);
va_start128kernel/printk.cva_start(args, fmt);
va_start267kernel/vsprintf.cva_start(args, fmt);
va_start16lib/open.cva_start(arg,flag);