taglinefilesource code
va_end32arch/alpha/boot/main.cva_end(args);
va_end1007drivers/cdrom/mcdx.cva_end(args);
va_end1019drivers/cdrom/mcdx.cva_end(args);
va_end715drivers/cdrom/sbpcd.cva_end(args);
va_end1052drivers/scsi/aic7xxx.cva_end(ap);
va_end46drivers/scsi/aic7xxx_proc.cva_end(ap);
va_end54fs/ext2/super.cva_end (args);
va_end83fs/ext2/super.cva_end (args);
va_end95fs/ext2/super.cva_end (args);
va_end152fs/super.cva_end(args);
va_end573init/main.cva_end(args);
va_end25kernel/panic.cva_end(args);
va_end155kernel/printk.cva_end(args);
va_end22lib/open.cva_end(arg);
va_end303lib/vsprintf.cva_end(args);