taglinefilesource code
va_end418drivers/block/sbpcd.cva_end(args);
va_end582drivers/scsi/wd7000.cva_end(args);
va_end44fs/ext2/super.cva_end (args);
va_end74fs/ext2/super.cva_end (args);
va_end87fs/ext2/super.cva_end (args);
va_end483init/main.cva_end(args);
va_end27kernel/panic.cva_end(args);
va_end155kernel/printk.cva_end(args);
va_end271kernel/vsprintf.cva_end(args);
va_end110net/inet/utils.cva_end(args);
va_end99net/socket.cva_end(args);
va_end111net/unix/sock.cva_end(args);