188 	printf("enum {\n");  in print_formats()
194 		printf("\tINSTR_%s,\n", format);  in print_formats()
196 	printf("}; /* %d */\n\n", count);  in print_formats()
211 	printf("enum {\n");  in print_long_insn()
216 		printf("\tLONG_INSN_%s,\n", insn->upper);  in print_long_insn()
219 	printf("}; /* %d */\n\n", count);  in print_long_insn()
221 	printf("#define LONG_INSN_INITIALIZER { \\\n");  in print_long_insn()
226 		printf("\t[LONG_INSN_%s] = \"%s\", \\\n", insn->upper, insn->name);  in print_long_insn()
228 	printf("}\n\n");  in print_long_insn()
238 	printf("\t[%4d] = { .opfrag = 0x%s, .format = INSTR_%s, ", nr, opcode, insn->format);  in print_opcode()
240 		printf(".name = \"%s\" ", insn->name);  in print_opcode()
242 		printf(".offset = LONG_INSN_%s ", insn->upper);  in print_opcode()
243 	printf("}, \\\n");  in print_opcode()
278 	printf("#define OPCODE_TABLE_INITIALIZER { \\\n");  in print_opcode_table()
287 			printf("\t/* %.2s */ \\\n", opcode);  in print_opcode_table()
292 	printf("\t/* 1-byte opcode instructions */ \\\n");  in print_opcode_table()
301 	printf("}\n\n");  in print_opcode_table()
309 	printf("#define OPCODE_OFFSET_INITIALIZER { \\\n");  in print_opcode_table_offsets()
312 		printf("\t{ .opcode = 0x%.2s, .mask = 0x%02x, .byte = %d, .offset = %d, .count = %d }, \\\n",  in print_opcode_table_offsets()
315 	printf("}\n\n");  in print_opcode_table_offsets()
324 	printf("#ifndef __S390_GENERATED_DIS_DEFS_H__\n");  in main()
325 	printf("#define __S390_GENERATED_DIS_DEFS_H__\n");  in main()
326 	printf("/*\n");  in main()
327 	printf(" * DO NOT MODIFY.\n");  in main()
328 	printf(" *\n");  in main()
329 	printf(" * This file was generated by %s\n", __FILE__);  in main()
330 	printf(" */\n\n");  in main()
335 	printf("#endif\n");  in main()