tag	line	file	source code
va_end	420	fs/buffer.c	va_end(args);
va_end	21	include/stdarg.h	void va_end (va_list);    /* Defined in gnulib */
va_end	74	init/main.c	va_end(args);
va_end	197	init/main.c	va_end(args);
va_end	90	kernel/printk.c	va_end(args);