tag	line	file	source code
printf	25	include/linux/kernel.h	__attribute__ ((format (printf, 1, 2)));
printf	31	include/linux/kernel.h	__attribute__ ((format (printf, 1, 2)));
printf	87	include/linux/sched.h	__attribute__ ((format (printf, 1, 2)));
printf	462	init/main.c	printf(linux_banner);
printf	481	init/main.c	printf("Fork failed in init\n\r");
printf	495	init/main.c	printf("\n\rchild %d died with code %04x\n\r",pid,i);