tag	line	file	source code
printf	228	init/main.c	printf(linux_banner);
printf	245	init/main.c	printf("Fork failed in init\r\n");
printf	259	init/main.c	printf("\n\rchild %d died with code %04x\n\r",pid,i);
printf	110	kernel/blk_drv/scsi/hosts.c	printf("%d", MAX_SCSI_HOSTS);
printf	155	kernel/blk_drv/scsi/hosts.c	printf("0\n");