45 	fprintf(stderr, "Usage: objdump -d a.out | awk -f distill.awk |"  in usage()
47 	fprintf(stderr, "\t-y	64bit mode\n");  in usage()
48 	fprintf(stderr, "\t-n	32bit mode\n");  in usage()
49 	fprintf(stderr, "\t-v	verbose mode\n");  in usage()
55 	fprintf(stderr, "%s: malformed line %d:\n%s", prog, line_nr, line);  in malformed_line()
62 	fprintf(fp, "%s.%s = {\n", indent, name);  in dump_field()
63 	fprintf(fp, "%s\t.value = %d, bytes[] = {%x, %x, %x, %x},\n",  in dump_field()
66 	fprintf(fp, "%s\t.got = %d, .nbytes = %d},\n", indent,  in dump_field()
72 	fprintf(fp, "Instruction = {\n");  in dump_insn()
82 	fprintf(fp, "\t.attr = %x, .opnd_bytes = %d, .addr_bytes = %d,\n",  in dump_insn()
84 	fprintf(fp, "\t.length = %d, .x86_64 = %d, .kaddr = %p}\n",  in dump_insn()
156 			fprintf(stderr, "Warning: %s found difference at %s\n",  in main()
158 			fprintf(stderr, "Warning: %s", line);  in main()
159 			fprintf(stderr, "Warning: objdump says %d bytes, but "  in main()
167 		fprintf(stderr, "Warning: decoded and checked %d"  in main()
170 		fprintf(stderr, "Succeed: decoded and checked %d"  in main()