tag	line	file	source code
format	25	include/linux/kernel.h	__attribute__ ((format (printf, 1, 2)));
format	31	include/linux/kernel.h	__attribute__ ((format (printf, 1, 2)));
format	87	include/linux/sched.h	__attribute__ ((format (printf, 1, 2)));