152 static FILE		*outfp;  variable
262 		outfp = fdopen(fd, "w");  in main()
264 		outfp = stdout;  in main()
377 	fprintf(outfp, "Elapsed time: %.2f seconds.", ms / MILLI);  in main()
379 		fprintf(outfp, " Displaying ");  in main()
381 			fprintf(outfp, "per-CPU ");  in main()
383 			fprintf(outfp, "per-second ");  in main()
384 		fprintf(outfp, "averages.");  in main()
386 	putc('\n', outfp);  in main()
399 		fprintf(outfp, "None of the selected events were recorded.\n");  in main()
751 	fprintf(outfp, "\n-- %s\n\n"  in display()
787 			fprintf(outfp, "%6.2f %7d %9.2f %-22s <all>\n",  in display()
803 			fprintf(outfp, "%6.2f %7d %9.2f %-22s %s\n",  in display()