tag	line	file	source code
printf	331	init/main.c	printf(linux_banner);
printf	349	init/main.c	printf("Fork failed in init\n\r");
printf	363	init/main.c	printf("\n\rchild %d died with code %04x\n\r",pid,i);
printf	7	zBoot/piggyback.c	printf(
printf	15	zBoot/piggyback.c	if (!n) printf("\n.byte "); else printf(",");
printf	16	zBoot/piggyback.c	printf("%d", c);
printf	20	zBoot/piggyback.c	printf("\n\n");
printf	25	zBoot/piggyback.c	printf(  ".globl _input_len\n"