tag	line	file	source code
fprintf	52	fs/isofs/util.c	fprintf (stderr, "invalid format 7.2.3 number\n");
fprintf	88	fs/isofs/util.c	fprintf (stderr, "bad format 7.3.3 number\n");
fprintf	75	tools/build.c	fprintf(stderr,"%s\n",str);
fprintf	109	tools/build.c	fprintf(stderr, "Root device is (%d, %d)\n", major_root, minor_root);
fprintf	128	tools/build.c	fprintf(stderr,"Boot sector %d bytes.\n",i);
fprintf	163	tools/build.c	fprintf(stderr,"Setup is %d bytes.\n",i);
fprintf	185	tools/build.c	fprintf(stderr,"System is %d bytes.\n",i);