58 		fprintf(stderr, "%s: Error: %s\n\n", prog, err);  in usage()
59 	fprintf(stderr, "Usage: %s [-y|-n|-v] [-s seed[,no]] [-m max] [-i input]\n", prog);  in usage()
60 	fprintf(stderr, "\t-y	64bit mode\n");  in usage()
61 	fprintf(stderr, "\t-n	32bit mode\n");  in usage()
62 	fprintf(stderr, "\t-v	Verbosity(-vv dumps any decoded result)\n");  in usage()
63 	fprintf(stderr, "\t-s	Give a random seed (and iteration number)\n");  in usage()
64 	fprintf(stderr, "\t-m	Give a maximum iteration number\n");  in usage()
65 	fprintf(stderr, "\t-i	Give an input file with decoded binary\n");  in usage()
72 	fprintf(fp, "%s.%s = {\n", indent, name);  in dump_field()
73 	fprintf(fp, "%s\t.value = %d, bytes[] = {%x, %x, %x, %x},\n",  in dump_field()
76 	fprintf(fp, "%s\t.got = %d, .nbytes = %d},\n", indent,  in dump_field()
82 	fprintf(fp, "Instruction = {\n");  in dump_insn()
92 	fprintf(fp, "\t.attr = %x, .opnd_bytes = %d, .addr_bytes = %d,\n",  in dump_insn()
94 	fprintf(fp, "\t.length = %d, .x86_64 = %d, .kaddr = %p}\n",  in dump_insn()
103 	fprintf(fp, "%s:\n", msg);  in dump_stream()
107 	fprintf(fp, "You can reproduce this with below command(s);\n");  in dump_stream()
110 	fprintf(fp, " $ echo ");  in dump_stream()
112 		fprintf(fp, " %02x", insn_buf[i]);  in dump_stream()
113 	fprintf(fp, " | %s -i -\n", prog);  in dump_stream()
116 		fprintf(fp, "Or \n");  in dump_stream()
118 		fprintf(fp, " $ %s -s 0x%x,%lu\n", prog, seed, nr_iter);  in dump_stream()
272 	fprintf(stdout, "%s: %s: decoded and checked %d %s instructions with %d errors (seed:0x%x)\n",  in main()