taglinefilesource code
va_end565drivers/scsi/wd7000.cva_end(args);
va_end591fs/buffer.cva_end(args);
va_end43fs/ext2/super.cva_end (args);
va_end66fs/ext2/super.cva_end (args);
va_end79fs/ext2/super.cva_end (args);
va_end457init/main.cva_end(args);
va_end27kernel/panic.cva_end(args);
va_end153kernel/printk.cva_end(args);
va_end271kernel/vsprintf.cva_end(args);
va_end96net/inet/utils.cva_end(args);
va_end92net/socket.cva_end(args);
va_end109net/unix/sock.cva_end(args);