tag	line	file	source code
va_end	385	fs/buffer.c	va_end(args);
va_end	21	include/stdarg.h	void va_end (va_list);    /* Defined in gnulib */
va_end	75	init/main.c	va_end(args);
va_end	205	init/main.c	va_end(args);
va_end	91	kernel/printk.c	va_end(args);