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