taglinefilesource code
va_end33arch/alpha/boot/main.cva_end(args);
va_end23arch/ppc/kernel/raw_printf.cva_end(ap);
va_end43arch/ppc/kernel/raw_printf.cva_end(ap);
va_end37arch/sparc/prom/printf.cva_end(args);
va_end1034drivers/cdrom/mcdx.cva_end(args);
va_end1046drivers/cdrom/mcdx.cva_end(args);
va_end713drivers/cdrom/sbpcd.cva_end(args);
va_end1158drivers/scsi/aic7xxx.cva_end(ap);
va_end46drivers/scsi/aic7xxx_proc.cva_end(ap);
va_end48fs/ext2/super.cva_end (args);
va_end77fs/ext2/super.cva_end (args);
va_end89fs/ext2/super.cva_end (args);
va_end254fs/super.cva_end(args);
va_end661init/main.cva_end(args);
va_end25kernel/panic.cva_end(args);
va_end163kernel/printk.cva_end(args);
va_end303lib/vsprintf.cva_end(args);