xedbindings 0.9 (latest) · OCaml Package

Parameters

module F : Cstubs.FOREIGN

Signature

val str2xed_address_width_enum_t : 
  (string -> XBEnums.address_width F.return) F.result

val str2xed_attribute_enum_t : (string -> XBEnums.attribute F.return) F.result

val str2xed_category_enum_t : (string -> XBEnums.category F.return) F.result

val str2xed_chip_enum_t : (string -> XBEnums.chip F.return) F.result

val str2xed_cpuid_group_enum_t : 
  (string -> XBEnums.cpuid_group F.return) F.result

val str2xed_cpuid_rec_enum_t : (string -> XBEnums.cpuid_rec F.return) F.result

val str2xed_error_enum_t : (string -> XBEnums.error F.return) F.result

val str2xed_exception_enum_t : (string -> XBEnums.iexception F.return) F.result

val str2xed_extension_enum_t : (string -> XBEnums.extension F.return) F.result

val str2xed_flag_action_enum_t : 
  (string -> XBEnums.flag_action F.return) F.result

val str2xed_flag_enum_t : (string -> XBEnums.flag F.return) F.result

val str2xed_iclass_enum_t : (string -> XBEnums.iclass F.return) F.result

val str2xed_iform_enum_t : (string -> XBEnums.iform F.return) F.result

val str2xed_isa_set_enum_t : (string -> XBEnums.isa_set F.return) F.result

val str2xed_machine_mode_enum_t : 
  (string -> XBEnums.machine_mode F.return) F.result

val str2xed_nonterminal_enum_t : 
  (string -> XBEnums.nonterminal F.return) F.result

val str2xed_operand_action_enum_t : 
  (string -> XBEnums.operand_action F.return) F.result

val str2xed_operand_convert_enum_t : 
  (string -> XBEnums.operand_convert F.return) F.result

val str2xed_operand_element_type_enum_t : 
  (string -> XBEnums.operand_element_type F.return) F.result

val str2xed_operand_element_xtype_enum_t : 
  (string -> XBEnums.operand_element_xtype F.return) F.result

val str2xed_operand_enum_t : (string -> XBEnums.operand F.return) F.result

val str2xed_operand_type_enum_t : 
  (string -> XBEnums.operand_type F.return) F.result

val str2xed_operand_visibility_enum_t : 
  (string -> XBEnums.operand_visibility F.return) F.result

val str2xed_operand_width_enum_t : 
  (string -> XBEnums.operand_width F.return) F.result

val str2xed_reg_class_enum_t : (string -> XBEnums.reg_class F.return) F.result

val str2xed_reg_enum_t : (string -> XBEnums.reg F.return) F.result

val str2xed_syntax_enum_t : (string -> XBEnums.syntax F.return) F.result

val xed3_operand_get_absbr : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_agen : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_amd3dnow : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_asz : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_base0 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg F.return)
    F.result

val xed3_operand_get_base1 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg F.return)
    F.result

val xed3_operand_get_bcast : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_bcrc : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_brdisp_width : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    char F.return)
    F.result

val xed3_operand_get_cet : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_chip : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.chip F.return)
    F.result

val xed3_operand_get_cldemote : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_default_seg : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_df32 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_df64 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_disp : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int64 F.return)
    F.result

val xed3_operand_get_disp_width : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    char F.return)
    F.result

val xed3_operand_get_dummy : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_easz : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_element_size : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_encode_force : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_encoder_preferred : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_eosz : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_error : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.error F.return)
    F.result

val xed3_operand_get_esrc : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_evvspace : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_first_f2f3 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_has_egpr : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_has_modrm : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_has_sib : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_hint : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_iclass : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.iclass F.return)
    F.result

val xed3_operand_get_ild_f2 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_ild_f3 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_ild_seg : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_imm0 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_imm0signed : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_imm1 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_imm1_bytes : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_imm_width : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    char F.return)
    F.result

val xed3_operand_get_index : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg F.return)
    F.result

val xed3_operand_get_last_f2f3 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_llrc : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_lock : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_lzcnt : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_map : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_mask : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_max_bytes : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_mem0 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_mem1 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_mem_width : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint16 F.return)
    F.result

val xed3_operand_get_mod : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_mode : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_mode_first_prefix : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_mode_short_ud0 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_modep5 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_modep55c : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_modrm_byte : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_mpxmode : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_must_use_evex : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_nd : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_need_memdisp : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_need_sib : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_needrex : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_nelem : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_nf : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_no_apx : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_no_evex : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_no_vex : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_nominal_opcode : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_norex : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_norex2 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_nprefixes : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_nrexes : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_nseg_prefixes : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_osz : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_out_of_bytes : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_outreg : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg F.return)
    F.result

val xed3_operand_get_p4 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_pos_disp : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_pos_imm : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_pos_imm1 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_pos_modrm : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_pos_nominal_opcode : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_pos_sib : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_prefix66 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_ptr : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_realmode : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_reg : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_reg0 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg F.return)
    F.result

val xed3_operand_get_reg1 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg F.return)
    F.result

val xed3_operand_get_reg2 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg F.return)
    F.result

val xed3_operand_get_reg3 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg F.return)
    F.result

val xed3_operand_get_reg4 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg F.return)
    F.result

val xed3_operand_get_reg5 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg F.return)
    F.result

val xed3_operand_get_reg6 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg F.return)
    F.result

val xed3_operand_get_reg7 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg F.return)
    F.result

val xed3_operand_get_reg8 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg F.return)
    F.result

val xed3_operand_get_reg9 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg F.return)
    F.result

val xed3_operand_get_relbr : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_rep : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_rex : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_rex2 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_rexb : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_rexb4 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_rexr : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_rexr4 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_rexw : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_rexx : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_rexx4 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_rm : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_roundc : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_sae : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_scale : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_scc : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_seg0 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg F.return)
    F.result

val xed3_operand_get_seg1 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg F.return)
    F.result

val xed3_operand_get_seg_ovd : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_sibbase : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_sibindex : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_sibscale : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_skip_osz : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_smode : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_srm : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_tzcnt : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_ubit : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_uimm0 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint64 F.return)
    F.result

val xed3_operand_get_uimm1 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    char F.return)
    F.result

val xed3_operand_get_using_default_segment0 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_using_default_segment1 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_vex_c4 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_vex_prefix : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_vexdest210 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_vexdest3 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_vexdest4 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_vexvalid : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_vl : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_vl_ign : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_wbnoinvd : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_get_zeroing : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed3_operand_set_absbr : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_agen : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_amd3dnow : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_asz : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_base0 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg ->
    unit F.return)
    F.result

val xed3_operand_set_base1 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg ->
    unit F.return)
    F.result

val xed3_operand_set_bcast : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_bcrc : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_brdisp_width : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    char ->
    unit F.return)
    F.result

val xed3_operand_set_cet : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_chip : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.chip ->
    unit F.return)
    F.result

val xed3_operand_set_cldemote : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_default_seg : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_df32 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_df64 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_disp : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int64 ->
    unit F.return)
    F.result

val xed3_operand_set_disp_width : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    char ->
    unit F.return)
    F.result

val xed3_operand_set_dummy : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_easz : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_element_size : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_encode_force : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_encoder_preferred : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_eosz : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_error : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.error ->
    unit F.return)
    F.result

val xed3_operand_set_esrc : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_evvspace : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_first_f2f3 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_has_egpr : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_has_modrm : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_has_sib : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_hint : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_iclass : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.iclass ->
    unit F.return)
    F.result

val xed3_operand_set_ild_f2 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_ild_f3 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_ild_seg : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_imm0 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_imm0signed : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_imm1 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_imm1_bytes : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_imm_width : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    char ->
    unit F.return)
    F.result

val xed3_operand_set_index : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg ->
    unit F.return)
    F.result

val xed3_operand_set_last_f2f3 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_llrc : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_lock : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_lzcnt : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_map : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_mask : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_max_bytes : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_mem0 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_mem1 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_mem_width : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint16 ->
    unit F.return)
    F.result

val xed3_operand_set_mod : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_mode : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_mode_first_prefix : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_mode_short_ud0 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_modep5 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_modep55c : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_modrm_byte : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_mpxmode : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_must_use_evex : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_nd : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_need_memdisp : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_need_sib : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_needrex : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_nelem : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_nf : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_no_apx : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_no_evex : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_no_vex : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_nominal_opcode : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_norex : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_norex2 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_nprefixes : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_nrexes : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_nseg_prefixes : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_osz : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_out_of_bytes : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_outreg : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg ->
    unit F.return)
    F.result

val xed3_operand_set_p4 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_pos_disp : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_pos_imm : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_pos_imm1 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_pos_modrm : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_pos_nominal_opcode : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_pos_sib : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_prefix66 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_ptr : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_realmode : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_reg : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_reg0 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg ->
    unit F.return)
    F.result

val xed3_operand_set_reg1 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg ->
    unit F.return)
    F.result

val xed3_operand_set_reg2 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg ->
    unit F.return)
    F.result

val xed3_operand_set_reg3 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg ->
    unit F.return)
    F.result

val xed3_operand_set_reg4 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg ->
    unit F.return)
    F.result

val xed3_operand_set_reg5 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg ->
    unit F.return)
    F.result

val xed3_operand_set_reg6 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg ->
    unit F.return)
    F.result

val xed3_operand_set_reg7 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg ->
    unit F.return)
    F.result

val xed3_operand_set_reg8 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg ->
    unit F.return)
    F.result

val xed3_operand_set_reg9 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg ->
    unit F.return)
    F.result

val xed3_operand_set_relbr : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_rep : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_rex : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_rex2 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_rexb : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_rexb4 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_rexr : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_rexr4 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_rexw : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_rexx : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_rexx4 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_rm : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_roundc : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_sae : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_scale : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_scc : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_seg0 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg ->
    unit F.return)
    F.result

val xed3_operand_set_seg1 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg ->
    unit F.return)
    F.result

val xed3_operand_set_seg_ovd : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_sibbase : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_sibindex : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_sibscale : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_skip_osz : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_smode : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_srm : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_tzcnt : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_ubit : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_uimm0 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint64 ->
    unit F.return)
    F.result

val xed3_operand_set_uimm1 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    char ->
    unit F.return)
    F.result

val xed3_operand_set_using_default_segment0 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_using_default_segment1 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_vex_c4 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_vex_prefix : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_vexdest210 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_vexdest3 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_vexdest4 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_vexvalid : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_vl : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_vl_ign : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_wbnoinvd : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed3_operand_set_zeroing : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed_addr : 
  (Types_generated.encoder_instruction Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed_address_width_enum_t2str : 
  (XBEnums.address_width -> string F.return) F.result

val xed_attribute : (int -> XBEnums.attribute F.return) F.result

val xed_attribute_enum_t2str : (XBEnums.attribute -> string F.return) F.result

val xed_attribute_max : (unit -> int F.return) F.result

val xed_category_enum_t2str : (XBEnums.category -> string F.return) F.result

val xed_chip_enum_t2str : (XBEnums.chip -> string F.return) F.result

val xed_classify_amx : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_classify_apx : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_classify_avx : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_classify_avx512 : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_classify_avx512_maskop : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_classify_sse : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_convert_to_encoder_request : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    Types_generated.encoder_instruction Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_cpuid_group_enum_t2str : 
  (XBEnums.cpuid_group -> string F.return) F.result

val xed_cpuid_rec_enum_t2str : (XBEnums.cpuid_rec -> string F.return) F.result

val xed_decode : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    string Ctypes_static.ocaml ->
    int ->
    XBEnums.error F.return)
    F.result

val xed_decode_with_features : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    string Ctypes_static.ocaml ->
    int ->
    Types_generated.chip_features Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.error F.return)
    F.result

val xed_decoded_inst_avx512_dest_elements : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_decoded_inst_conditionally_writes_registers : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_decoded_inst_dump : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    int ->
    unit F.return)
    F.result

val xed_decoded_inst_dump_xed_format : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    int ->
    Unsigned.uint64 ->
    bool F.return)
    F.result

val xed_decoded_inst_get_attribute : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.attribute ->
    Unsigned.uint32 F.return)
    F.result

val xed_decoded_inst_get_base_reg : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    XBEnums.reg F.return)
    F.result

val xed_decoded_inst_get_branch_displacement : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int64 F.return)
    F.result

val xed_decoded_inst_get_branch_displacement_width : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_decoded_inst_get_branch_displacement_width_bits : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_decoded_inst_get_byte : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    char F.return)
    F.result

val xed_decoded_inst_get_category : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.category F.return)
    F.result

val xed_decoded_inst_get_dfv_reg : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg F.return)
    F.result

val xed_decoded_inst_get_extension : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.extension F.return)
    F.result

val xed_decoded_inst_get_iclass : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.iclass F.return)
    F.result

val xed_decoded_inst_get_iform_enum : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.iform F.return)
    F.result

val xed_decoded_inst_get_iform_enum_dispatch : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_decoded_inst_get_immediate_is_signed : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_decoded_inst_get_immediate_width : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_decoded_inst_get_immediate_width_bits : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_decoded_inst_get_index_reg : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    XBEnums.reg F.return)
    F.result

val xed_decoded_inst_get_input_chip : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.chip F.return)
    F.result

val xed_decoded_inst_get_isa_set : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.isa_set F.return)
    F.result

val xed_decoded_inst_get_length : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_decoded_inst_get_machine_mode_bits : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_decoded_inst_get_memop_address_width : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    int F.return)
    F.result

val xed_decoded_inst_get_memory_displacement : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    int64 F.return)
    F.result

val xed_decoded_inst_get_memory_displacement_width : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    int F.return)
    F.result

val xed_decoded_inst_get_memory_displacement_width_bits : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    int F.return)
    F.result

val xed_decoded_inst_get_memory_operand_length : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    int F.return)
    F.result

val xed_decoded_inst_get_modrm : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    char F.return)
    F.result

val xed_decoded_inst_get_nprefixes : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_decoded_inst_get_operand_width : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint32 F.return)
    F.result

val xed_decoded_inst_get_reg : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.operand ->
    XBEnums.reg F.return)
    F.result

val xed_decoded_inst_get_rflags_info : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    Types_generated.simple_flag Ctypes.abstract Ctypes_static.ptr F.return)
    F.result

val xed_decoded_inst_get_scale : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    int F.return)
    F.result

val xed_decoded_inst_get_second_immediate : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    char F.return)
    F.result

val xed_decoded_inst_get_seg_reg : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    XBEnums.reg F.return)
    F.result

val xed_decoded_inst_get_signed_immediate : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int32 F.return)
    F.result

val xed_decoded_inst_get_stack_address_mode_bits : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_decoded_inst_get_unsigned_immediate : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint64 F.return)
    F.result

val xed_decoded_inst_get_user_data : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint64 F.return)
    F.result

val xed_decoded_inst_has_mpx_prefix : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint32 F.return)
    F.result

val xed_decoded_inst_inst : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    Types_generated.inst Ctypes.abstract Ctypes_static.ptr F.return)
    F.result

val xed_decoded_inst_is_apx_zu : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_decoded_inst_is_broadcast : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_decoded_inst_is_broadcast_instruction : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_decoded_inst_is_prefetch : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_decoded_inst_is_xacquire : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint32 F.return)
    F.result

val xed_decoded_inst_is_xrelease : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint32 F.return)
    F.result

val xed_decoded_inst_masked_vector_operation : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_decoded_inst_masking : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_decoded_inst_mem_read : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    bool F.return)
    F.result

val xed_decoded_inst_mem_written : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    bool F.return)
    F.result

val xed_decoded_inst_mem_written_only : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    bool F.return)
    F.result

val xed_decoded_inst_merging : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_decoded_inst_noperands : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_decoded_inst_number_of_memory_operands : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_decoded_inst_operand_action : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    XBEnums.operand_action F.return)
    F.result

val xed_decoded_inst_operand_element_size_bits : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    int F.return)
    F.result

val xed_decoded_inst_operand_element_type : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    XBEnums.operand_element_type F.return)
    F.result

val xed_decoded_inst_operand_elements : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    int F.return)
    F.result

val xed_decoded_inst_operand_length : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    int F.return)
    F.result

val xed_decoded_inst_operand_length_bits : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    int F.return)
    F.result

val xed_decoded_inst_operands : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr F.return)
    F.result

val xed_decoded_inst_operands_const : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr F.return)
    F.result

val xed_decoded_inst_set_branch_displacement : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int64 ->
    int ->
    unit F.return)
    F.result

val xed_decoded_inst_set_branch_displacement_bits : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int64 ->
    int ->
    unit F.return)
    F.result

val xed_decoded_inst_set_immediate_signed : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int32 ->
    int ->
    unit F.return)
    F.result

val xed_decoded_inst_set_immediate_signed_bits : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int32 ->
    int ->
    unit F.return)
    F.result

val xed_decoded_inst_set_immediate_unsigned : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint64 ->
    int ->
    unit F.return)
    F.result

val xed_decoded_inst_set_immediate_unsigned_bits : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint64 ->
    int ->
    unit F.return)
    F.result

val xed_decoded_inst_set_input_chip : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.chip ->
    unit F.return)
    F.result

val xed_decoded_inst_set_memory_displacement : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int64 ->
    int ->
    unit F.return)
    F.result

val xed_decoded_inst_set_memory_displacement_bits : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int64 ->
    int ->
    unit F.return)
    F.result

val xed_decoded_inst_set_mode : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.machine_mode ->
    XBEnums.address_width ->
    unit F.return)
    F.result

val xed_decoded_inst_set_scale : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed_decoded_inst_set_user_data : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint64 ->
    unit F.return)
    F.result

val xed_decoded_inst_uses_embedded_broadcast : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_decoded_inst_uses_rflags : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_decoded_inst_valid : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_decoded_inst_valid_for_chip : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.chip ->
    bool F.return)
    F.result

val xed_decoded_inst_vector_length_bits : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_decoded_inst_zero : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_decoded_inst_zero_keep_mode : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_decoded_inst_zero_keep_mode_from_operands : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_decoded_inst_zero_set_mode : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    Types_generated.state Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_decoded_inst_zeroing : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_encode_nop : 
  (bytes Ctypes_static.ocaml -> int -> XBEnums.error F.return) F.result

val xed_encode_request_print : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    int ->
    unit F.return)
    F.result

val xed_encoder_request_get_iclass : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.iclass F.return)
    F.result

val xed_encoder_request_get_operand_order : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    int ->
    XBEnums.operand F.return)
    F.result

val xed_encoder_request_operand_order_entries : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_encoder_request_operands : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr F.return)
    F.result

val xed_encoder_request_operands_const : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr F.return)
    F.result

val xed_encoder_request_set_absbr : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_encoder_request_set_agen : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_encoder_request_set_base0 : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg ->
    unit F.return)
    F.result

val xed_encoder_request_set_base1 : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg ->
    unit F.return)
    F.result

val xed_encoder_request_set_branch_displacement : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    int64 ->
    int ->
    unit F.return)
    F.result

val xed_encoder_request_set_effective_address_size : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed_encoder_request_set_effective_operand_width : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed_encoder_request_set_iclass : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.iclass ->
    unit F.return)
    F.result

val xed_encoder_request_set_index : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg ->
    unit F.return)
    F.result

val xed_encoder_request_set_mem0 : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_encoder_request_set_mem1 : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_encoder_request_set_memory_displacement : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    int64 ->
    int ->
    unit F.return)
    F.result

val xed_encoder_request_set_memory_operand_length : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed_encoder_request_set_operand_order : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    int ->
    XBEnums.operand ->
    unit F.return)
    F.result

val xed_encoder_request_set_ptr : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_encoder_request_set_reg : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.operand ->
    XBEnums.reg ->
    unit F.return)
    F.result

val xed_encoder_request_set_relbr : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_encoder_request_set_scale : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed_encoder_request_set_seg0 : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg ->
    unit F.return)
    F.result

val xed_encoder_request_set_seg1 : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg ->
    unit F.return)
    F.result

val xed_encoder_request_set_simm : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    int32 ->
    int ->
    unit F.return)
    F.result

val xed_encoder_request_set_uimm0 : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint64 ->
    int ->
    unit F.return)
    F.result

val xed_encoder_request_set_uimm0_bits : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint64 ->
    int ->
    unit F.return)
    F.result

val xed_encoder_request_set_uimm1 : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    char ->
    unit F.return)
    F.result

val xed_encoder_request_zero : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_encoder_request_zero_operand_order : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_encoder_request_zero_set_mode : 
  (Types_generated.encoder_request Ctypes.abstract Ctypes_static.ptr ->
    Types_generated.state Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_error_enum_t2str : (XBEnums.error -> string F.return) F.result

val xed_exception_enum_t2str : (XBEnums.iexception -> string F.return) F.result

val xed_extension_enum_t2str : (XBEnums.extension -> string F.return) F.result

val xed_flag_action_action_invalid : 
  (XBEnums.flag_action -> bool F.return) F.result

val xed_flag_action_enum_t2str : 
  (XBEnums.flag_action -> string F.return) F.result

val xed_flag_action_get_action : 
  (Types_generated.flag_action Ctypes.abstract Ctypes_static.ptr ->
    int ->
    XBEnums.flag_action F.return)
    F.result

val xed_flag_action_get_flag_name : 
  (Types_generated.flag_action Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.flag F.return)
    F.result

val xed_flag_action_print : 
  (Types_generated.flag_action Ctypes.abstract Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    int ->
    int F.return)
    F.result

val xed_flag_action_read_action : 
  (XBEnums.flag_action -> bool F.return) F.result

val xed_flag_action_read_flag : 
  (Types_generated.flag_action Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_flag_action_write_action : 
  (XBEnums.flag_action -> bool F.return) F.result

val xed_flag_action_writes_flag : 
  (Types_generated.flag_action Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_flag_dfv_get_default_flags_values : 
  (XBEnums.reg ->
    Types_generated.flag_dfv Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_flag_enum_t2str : (XBEnums.flag -> string F.return) F.result

val xed_flag_set_is_subset_of : 
  (Types_generated.flag_set Ctypes.abstract Ctypes_static.ptr ->
    Types_generated.flag_set Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_flag_set_mask : 
  (Types_generated.flag_set Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_flag_set_print : 
  (Types_generated.flag_set Ctypes.abstract Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    int ->
    int F.return)
    F.result

val xed_get_chip_features : 
  (Types_generated.chip_features Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.chip ->
    unit F.return)
    F.result

val xed_get_copyright : (unit -> string F.return) F.result

val xed_get_cpuid_group_enum_for_isa_set : 
  (XBEnums.isa_set -> int -> XBEnums.cpuid_group F.return) F.result

val xed_get_cpuid_rec_enum_for_group : 
  (XBEnums.cpuid_group -> int -> XBEnums.cpuid_rec F.return) F.result

val xed_get_largest_enclosing_register : 
  (XBEnums.reg -> XBEnums.reg F.return) F.result

val xed_get_largest_enclosing_register32 : 
  (XBEnums.reg -> XBEnums.reg F.return) F.result

val xed_get_register_width_bits : 
  (XBEnums.reg -> Unsigned.uint32 F.return) F.result

val xed_get_register_width_bits64 : 
  (XBEnums.reg -> Unsigned.uint32 F.return) F.result

val xed_get_version : (unit -> string F.return) F.result

val xed_gpr_reg_class : (XBEnums.reg -> XBEnums.reg_class F.return) F.result

val xed_iclass_enum_t2str : (XBEnums.iclass -> string F.return) F.result

val xed_iform_enum_t2str : (XBEnums.iform -> string F.return) F.result

val xed_iform_first_per_iclass : 
  (XBEnums.iclass -> Unsigned.uint32 F.return) F.result

val xed_iform_max_per_iclass : 
  (XBEnums.iclass -> Unsigned.uint32 F.return) F.result

val xed_iform_to_category : 
  (XBEnums.iform -> XBEnums.category F.return) F.result

val xed_iform_to_extension : 
  (XBEnums.iform -> XBEnums.extension F.return) F.result

val xed_iform_to_iclass : (XBEnums.iform -> XBEnums.iclass F.return) F.result

val xed_iform_to_iclass_string_att : 
  (XBEnums.iform -> string F.return) F.result

val xed_iform_to_iclass_string_intel : 
  (XBEnums.iform -> string F.return) F.result

val xed_iform_to_isa_set : (XBEnums.iform -> XBEnums.isa_set F.return) F.result

val xed_ild_decode : 
  (Types_generated.decoded_inst Ctypes.abstract Ctypes_static.ptr ->
    string Ctypes_static.ocaml ->
    int ->
    XBEnums.error F.return)
    F.result

val xed_inst_category : 
  (Types_generated.inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.category F.return)
    F.result

val xed_inst_cpl : 
  (Types_generated.inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_inst_exception : 
  (Types_generated.inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.iexception F.return)
    F.result

val xed_inst_extension : 
  (Types_generated.inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.extension F.return)
    F.result

val xed_inst_flag_info_index : 
  (Types_generated.inst Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint32 F.return)
    F.result

val xed_inst_get_attribute : 
  (Types_generated.inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.attribute ->
    Unsigned.uint32 F.return)
    F.result

val xed_inst_iclass : 
  (Types_generated.inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.iclass F.return)
    F.result

val xed_inst_iform_enum : 
  (Types_generated.inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.iform F.return)
    F.result

val xed_inst_isa_set : 
  (Types_generated.inst Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.isa_set F.return)
    F.result

val xed_inst_noperands : 
  (Types_generated.inst Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_inst_operand : 
  (Types_generated.inst Ctypes.abstract Ctypes_static.ptr ->
    int ->
    Types_generated.operand Ctypes.abstract Ctypes_static.ptr F.return)
    F.result

val xed_isa_set_enum_t2str : (XBEnums.isa_set -> string F.return) F.result

val xed_isa_set_is_valid_for_chip : 
  (XBEnums.isa_set -> XBEnums.chip -> bool F.return) F.result

val xed_machine_mode_enum_t2str : 
  (XBEnums.machine_mode -> string F.return) F.result

val xed_modify_chip_features : 
  (Types_generated.chip_features Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.isa_set ->
    bool ->
    unit F.return)
    F.result

val xed_nonterminal_enum_t2str : 
  (XBEnums.nonterminal -> string F.return) F.result

val xed_norep_map : (XBEnums.iclass -> XBEnums.iclass F.return) F.result

val xed_operand_action_conditional_read : 
  (XBEnums.operand_action -> int F.return) F.result

val xed_operand_action_conditional_write : 
  (XBEnums.operand_action -> int F.return) F.result

val xed_operand_action_enum_t2str : 
  (XBEnums.operand_action -> string F.return) F.result

val xed_operand_action_read : (XBEnums.operand_action -> int F.return) F.result

val xed_operand_action_read_and_written : 
  (XBEnums.operand_action -> int F.return) F.result

val xed_operand_action_read_only : 
  (XBEnums.operand_action -> int F.return) F.result

val xed_operand_action_written : 
  (XBEnums.operand_action -> int F.return) F.result

val xed_operand_action_written_only : 
  (XBEnums.operand_action -> int F.return) F.result

val xed_operand_conditional_read : 
  (Types_generated.operand Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_operand_conditional_write : 
  (Types_generated.operand Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_operand_convert_enum_t2str : 
  (XBEnums.operand_convert -> string F.return) F.result

val xed_operand_element_type_enum_t2str : 
  (XBEnums.operand_element_type -> string F.return) F.result

val xed_operand_element_xtype_enum_t2str : 
  (XBEnums.operand_element_xtype -> string F.return) F.result

val xed_operand_enum_t2str : (XBEnums.operand -> string F.return) F.result

val xed_operand_imm : 
  (Types_generated.operand Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint32 F.return)
    F.result

val xed_operand_is_memory_addressing_register : 
  (XBEnums.operand -> int F.return) F.result

val xed_operand_is_register : (XBEnums.operand -> int F.return) F.result

val xed_operand_name : 
  (Types_generated.operand Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.operand F.return)
    F.result

val xed_operand_nonterminal_name : 
  (Types_generated.operand Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.nonterminal F.return)
    F.result

val xed_operand_operand_visibility : 
  (Types_generated.operand Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.operand_visibility F.return)
    F.result

val xed_operand_print : 
  (Types_generated.operand Ctypes.abstract Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    int ->
    unit F.return)
    F.result

val xed_operand_read : 
  (Types_generated.operand Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_operand_read_and_written : 
  (Types_generated.operand Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_operand_read_only : 
  (Types_generated.operand Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_operand_reg : 
  (Types_generated.operand Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg F.return)
    F.result

val xed_operand_rw : 
  (Types_generated.operand Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.operand_action F.return)
    F.result

val xed_operand_template_is_register : 
  (Types_generated.operand Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_operand_type : 
  (Types_generated.operand Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.operand_type F.return)
    F.result

val xed_operand_type_enum_t2str : 
  (XBEnums.operand_type -> string F.return) F.result

val xed_operand_values_accesses_memory : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_branch_not_taken_hint : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_branch_taken_hint : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_cet_no_track : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_clear_rep : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_operand_values_dump : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    int ->
    unit F.return)
    F.result

val xed_operand_values_get_atomic : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_get_base_reg : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int ->
    XBEnums.reg F.return)
    F.result

val xed_operand_values_get_branch_displacement_byte : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int ->
    char F.return)
    F.result

val xed_operand_values_get_branch_displacement_int64 : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int64 F.return)
    F.result

val xed_operand_values_get_branch_displacement_length : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint32 F.return)
    F.result

val xed_operand_values_get_branch_displacement_length_bits : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint32 F.return)
    F.result

val xed_operand_values_get_displacement_for_memop : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_get_effective_address_width : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint32 F.return)
    F.result

val xed_operand_values_get_effective_operand_width : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint32 F.return)
    F.result

val xed_operand_values_get_iclass : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.iclass F.return)
    F.result

val xed_operand_values_get_immediate_byte : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int ->
    char F.return)
    F.result

val xed_operand_values_get_immediate_int64 : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int64 F.return)
    F.result

val xed_operand_values_get_immediate_is_signed : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_operand_values_get_immediate_uint64 : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint64 F.return)
    F.result

val xed_operand_values_get_index_reg : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int ->
    XBEnums.reg F.return)
    F.result

val xed_operand_values_get_long_mode : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_get_memory_displacement_byte : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int ->
    char F.return)
    F.result

val xed_operand_values_get_memory_displacement_int64 : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int64 F.return)
    F.result

val xed_operand_values_get_memory_displacement_int64_raw : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int64 F.return)
    F.result

val xed_operand_values_get_memory_displacement_length : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint32 F.return)
    F.result

val xed_operand_values_get_memory_displacement_length_bits : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint32 F.return)
    F.result

val xed_operand_values_get_memory_displacement_length_bits_raw : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint32 F.return)
    F.result

val xed_operand_values_get_memory_operand_length : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int ->
    int F.return)
    F.result

val xed_operand_values_get_pp_vex_prefix : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_operand_values_get_real_mode : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_get_scale : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_operand_values_get_second_immediate : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    char F.return)
    F.result

val xed_operand_values_get_seg_reg : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int ->
    XBEnums.reg F.return)
    F.result

val xed_operand_values_get_stack_address_width : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint32 F.return)
    F.result

val xed_operand_values_has_66_prefix : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_has_address_size_prefix : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_has_branch_displacement : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_has_displacement : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_has_immediate : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_has_lock_prefix : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_has_memory_displacement : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_has_modrm_byte : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_has_operand_size_prefix : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_has_real_rep : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_has_rep_prefix : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_has_repne_prefix : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_has_rexw_prefix : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_has_segment_prefix : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_has_sib_byte : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_init : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_operand_values_init_keep_mode : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_operand_values_init_set_mode : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    Types_generated.state Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_operand_values_is_nop : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_lockable : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_mandatory_66_prefix : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_memop_without_modrm : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_operand_values_number_of_memory_operands : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_operand_values_print_short : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    int ->
    unit F.return)
    F.result

val xed_operand_values_segment_prefix : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.reg F.return)
    F.result

val xed_operand_values_set_absbr : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_operand_values_set_base_reg : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int ->
    XBEnums.reg ->
    unit F.return)
    F.result

val xed_operand_values_set_branch_displacement : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int64 ->
    int ->
    unit F.return)
    F.result

val xed_operand_values_set_branch_displacement_bits : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int64 ->
    int ->
    unit F.return)
    F.result

val xed_operand_values_set_effective_address_width : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed_operand_values_set_effective_operand_width : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed_operand_values_set_iclass : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.iclass ->
    unit F.return)
    F.result

val xed_operand_values_set_immediate_signed : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int32 ->
    int ->
    unit F.return)
    F.result

val xed_operand_values_set_immediate_signed_bits : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int32 ->
    int ->
    unit F.return)
    F.result

val xed_operand_values_set_immediate_unsigned : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint64 ->
    int ->
    unit F.return)
    F.result

val xed_operand_values_set_immediate_unsigned_bits : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint64 ->
    int ->
    unit F.return)
    F.result

val xed_operand_values_set_index_reg : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int ->
    XBEnums.reg ->
    unit F.return)
    F.result

val xed_operand_values_set_lock : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_operand_values_set_memory_displacement : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int64 ->
    int ->
    unit F.return)
    F.result

val xed_operand_values_set_memory_displacement_bits : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int64 ->
    int ->
    unit F.return)
    F.result

val xed_operand_values_set_memory_operand_length : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int ->
    unit F.return)
    F.result

val xed_operand_values_set_mode : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    Types_generated.state Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_operand_values_set_operand_reg : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.operand ->
    XBEnums.reg ->
    unit F.return)
    F.result

val xed_operand_values_set_relbr : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_operand_values_set_scale : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int ->
    int ->
    unit F.return)
    F.result

val xed_operand_values_set_seg_reg : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int ->
    XBEnums.reg ->
    unit F.return)
    F.result

val xed_operand_values_using_default_segment : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    int ->
    bool F.return)
    F.result

val xed_operand_values_zero_branch_displacement : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_operand_values_zero_immediate : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_operand_values_zero_memory_displacement : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_operand_values_zero_segment_override : 
  (Types_generated.operand_values Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_operand_visibility_enum_t2str : 
  (XBEnums.operand_visibility -> string F.return) F.result

val xed_operand_width : 
  (Types_generated.operand Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.operand_width F.return)
    F.result

val xed_operand_width_bits : 
  (Types_generated.operand Ctypes.abstract Ctypes_static.ptr ->
    Unsigned.uint32 ->
    Unsigned.uint32 F.return)
    F.result

val xed_operand_width_enum_t2str : 
  (XBEnums.operand_width -> string F.return) F.result

val xed_operand_written : 
  (Types_generated.operand Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_operand_written_only : 
  (Types_generated.operand Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_operand_xtype : 
  (Types_generated.operand Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.operand_element_xtype F.return)
    F.result

val xed_reg_class : (XBEnums.reg -> XBEnums.reg_class F.return) F.result

val xed_reg_class_enum_t2str : (XBEnums.reg_class -> string F.return) F.result

val xed_reg_enum_t2str : (XBEnums.reg -> string F.return) F.result

val xed_rep : 
  (Types_generated.encoder_instruction Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_rep_map : (XBEnums.iclass -> XBEnums.iclass F.return) F.result

val xed_rep_remove : (XBEnums.iclass -> XBEnums.iclass F.return) F.result

val xed_repe_map : (XBEnums.iclass -> XBEnums.iclass F.return) F.result

val xed_repne : 
  (Types_generated.encoder_instruction Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_repne_map : (XBEnums.iclass -> XBEnums.iclass F.return) F.result

val xed_set_verbosity : (int -> unit F.return) F.result

val xed_simple_flag_get_flag_action : 
  (Types_generated.simple_flag Ctypes.abstract Ctypes_static.ptr ->
    int ->
    Types_generated.flag_action Ctypes.abstract Ctypes_static.ptr F.return)
    F.result

val xed_simple_flag_get_may_write : 
  (Types_generated.simple_flag Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_simple_flag_get_must_write : 
  (Types_generated.simple_flag Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_simple_flag_get_nflags : 
  (Types_generated.simple_flag Ctypes.abstract Ctypes_static.ptr ->
    int F.return)
    F.result

val xed_simple_flag_get_read_flag_set : 
  (Types_generated.simple_flag Ctypes.abstract Ctypes_static.ptr ->
    Types_generated.flag_set Ctypes.abstract Ctypes_static.ptr F.return)
    F.result

val xed_simple_flag_get_undefined_flag_set : 
  (Types_generated.simple_flag Ctypes.abstract Ctypes_static.ptr ->
    Types_generated.flag_set Ctypes.abstract Ctypes_static.ptr F.return)
    F.result

val xed_simple_flag_get_written_flag_set : 
  (Types_generated.simple_flag Ctypes.abstract Ctypes_static.ptr ->
    Types_generated.flag_set Ctypes.abstract Ctypes_static.ptr F.return)
    F.result

val xed_simple_flag_print : 
  (Types_generated.simple_flag Ctypes.abstract Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    int ->
    int F.return)
    F.result

val xed_simple_flag_reads_flags : 
  (Types_generated.simple_flag Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_simple_flag_writes_flags : 
  (Types_generated.simple_flag Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_state_get_address_width : 
  (Types_generated.state Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.address_width F.return)
    F.result

val xed_state_get_machine_mode : 
  (Types_generated.state Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.machine_mode F.return)
    F.result

val xed_state_get_stack_address_width : 
  (Types_generated.state Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.address_width F.return)
    F.result

val xed_state_init : 
  (Types_generated.state Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.machine_mode ->
    XBEnums.address_width ->
    XBEnums.address_width ->
    unit F.return)
    F.result

val xed_state_init2 : 
  (Types_generated.state Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.machine_mode ->
    XBEnums.address_width ->
    unit F.return)
    F.result

val xed_state_long64_mode : 
  (Types_generated.state Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_state_mode_width_16 : 
  (Types_generated.state Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_state_mode_width_32 : 
  (Types_generated.state Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_state_print : 
  (Types_generated.state Ctypes.abstract Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    int ->
    int F.return)
    F.result

val xed_state_real_mode : 
  (Types_generated.state Ctypes.abstract Ctypes_static.ptr ->
    bool F.return)
    F.result

val xed_state_set_machine_mode : 
  (Types_generated.state Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.machine_mode ->
    unit F.return)
    F.result

val xed_state_set_stack_address_width : 
  (Types_generated.state Ctypes.abstract Ctypes_static.ptr ->
    XBEnums.address_width ->
    unit F.return)
    F.result

val xed_state_zero : 
  (Types_generated.state Ctypes.abstract Ctypes_static.ptr ->
    unit F.return)
    F.result

val xed_syntax_enum_t2str : (XBEnums.syntax -> string F.return) F.result

val xed_tables_init : (unit -> unit F.return) F.result

package xedbindings

Parameters

Signature