xedbindings 0.9 (latest) · OCaml Package

val get_absbr : [> `Read ] Types.decoded_inst_ptr -> int

val get_agen : [> `Read ] Types.decoded_inst_ptr -> int

val get_amd3dnow : [> `Read ] Types.decoded_inst_ptr -> int

val get_asz : [> `Read ] Types.decoded_inst_ptr -> int

val get_base0 : [> `Read ] Types.decoded_inst_ptr -> XBEnums.reg

val get_base1 : [> `Read ] Types.decoded_inst_ptr -> XBEnums.reg

val get_bcast : [> `Read ] Types.decoded_inst_ptr -> int

val get_bcrc : [> `Read ] Types.decoded_inst_ptr -> int

val get_brdisp_width : [> `Read ] Types.decoded_inst_ptr -> char

val get_cet : [> `Read ] Types.decoded_inst_ptr -> int

val get_chip : [> `Read ] Types.decoded_inst_ptr -> XBEnums.chip

val get_cldemote : [> `Read ] Types.decoded_inst_ptr -> int

val get_default_seg : [> `Read ] Types.decoded_inst_ptr -> int

val get_df32 : [> `Read ] Types.decoded_inst_ptr -> int

val get_df64 : [> `Read ] Types.decoded_inst_ptr -> int

val get_disp : [> `Read ] Types.decoded_inst_ptr -> Signed.Int64.t

val get_disp_width : [> `Read ] Types.decoded_inst_ptr -> char

val get_dummy : [> `Read ] Types.decoded_inst_ptr -> int

val get_easz : [> `Read ] Types.decoded_inst_ptr -> int

val get_element_size : [> `Read ] Types.decoded_inst_ptr -> int

val get_encode_force : [> `Read ] Types.decoded_inst_ptr -> int

val get_encoder_preferred : [> `Read ] Types.decoded_inst_ptr -> int

val get_eosz : [> `Read ] Types.decoded_inst_ptr -> int

val get_error : [> `Read ] Types.decoded_inst_ptr -> XBEnums.error

val get_esrc : [> `Read ] Types.decoded_inst_ptr -> int

val get_evvspace : [> `Read ] Types.decoded_inst_ptr -> int

val get_first_f2f3 : [> `Read ] Types.decoded_inst_ptr -> int

val get_has_egpr : [> `Read ] Types.decoded_inst_ptr -> int

val get_has_modrm : [> `Read ] Types.decoded_inst_ptr -> int

val get_has_sib : [> `Read ] Types.decoded_inst_ptr -> int

val get_hint : [> `Read ] Types.decoded_inst_ptr -> int

val get_iclass : [> `Read ] Types.decoded_inst_ptr -> XBEnums.iclass

val get_ild_f2 : [> `Read ] Types.decoded_inst_ptr -> int

val get_ild_f3 : [> `Read ] Types.decoded_inst_ptr -> int

val get_ild_seg : [> `Read ] Types.decoded_inst_ptr -> int

val get_imm0 : [> `Read ] Types.decoded_inst_ptr -> int

val get_imm0signed : [> `Read ] Types.decoded_inst_ptr -> int

val get_imm1 : [> `Read ] Types.decoded_inst_ptr -> int

val get_imm1_bytes : [> `Read ] Types.decoded_inst_ptr -> int

val get_imm_width : [> `Read ] Types.decoded_inst_ptr -> char

val get_index : [> `Read ] Types.decoded_inst_ptr -> XBEnums.reg

val get_last_f2f3 : [> `Read ] Types.decoded_inst_ptr -> int

val get_llrc : [> `Read ] Types.decoded_inst_ptr -> int

val get_lock : [> `Read ] Types.decoded_inst_ptr -> int

val get_lzcnt : [> `Read ] Types.decoded_inst_ptr -> int

val get_map : [> `Read ] Types.decoded_inst_ptr -> int

val get_mask : [> `Read ] Types.decoded_inst_ptr -> int

val get_max_bytes : [> `Read ] Types.decoded_inst_ptr -> int

val get_mem0 : [> `Read ] Types.decoded_inst_ptr -> int

val get_mem1 : [> `Read ] Types.decoded_inst_ptr -> int

val get_mem_width : [> `Read ] Types.decoded_inst_ptr -> Unsigned.UInt16.t

val get_mod : [> `Read ] Types.decoded_inst_ptr -> int

val get_mode : [> `Read ] Types.decoded_inst_ptr -> int

val get_mode_first_prefix : [> `Read ] Types.decoded_inst_ptr -> int

val get_mode_short_ud0 : [> `Read ] Types.decoded_inst_ptr -> int

val get_modep5 : [> `Read ] Types.decoded_inst_ptr -> int

val get_modep55c : [> `Read ] Types.decoded_inst_ptr -> int

val get_modrm_byte : [> `Read ] Types.decoded_inst_ptr -> int

val get_mpxmode : [> `Read ] Types.decoded_inst_ptr -> int

val get_must_use_evex : [> `Read ] Types.decoded_inst_ptr -> int

val get_nd : [> `Read ] Types.decoded_inst_ptr -> int

val get_need_memdisp : [> `Read ] Types.decoded_inst_ptr -> int

val get_need_sib : [> `Read ] Types.decoded_inst_ptr -> int

val get_needrex : [> `Read ] Types.decoded_inst_ptr -> int

val get_nelem : [> `Read ] Types.decoded_inst_ptr -> int

val get_nf : [> `Read ] Types.decoded_inst_ptr -> int

val get_no_apx : [> `Read ] Types.decoded_inst_ptr -> int

val get_no_evex : [> `Read ] Types.decoded_inst_ptr -> int

val get_no_vex : [> `Read ] Types.decoded_inst_ptr -> int

val get_nominal_opcode : [> `Read ] Types.decoded_inst_ptr -> int

val get_norex : [> `Read ] Types.decoded_inst_ptr -> int

val get_norex2 : [> `Read ] Types.decoded_inst_ptr -> int

val get_nprefixes : [> `Read ] Types.decoded_inst_ptr -> int

val get_nrexes : [> `Read ] Types.decoded_inst_ptr -> int

val get_nseg_prefixes : [> `Read ] Types.decoded_inst_ptr -> int

val get_osz : [> `Read ] Types.decoded_inst_ptr -> int

val get_out_of_bytes : [> `Read ] Types.decoded_inst_ptr -> int

val get_outreg : [> `Read ] Types.decoded_inst_ptr -> XBEnums.reg

val get_p4 : [> `Read ] Types.decoded_inst_ptr -> int

val get_pos_disp : [> `Read ] Types.decoded_inst_ptr -> int

val get_pos_imm : [> `Read ] Types.decoded_inst_ptr -> int

val get_pos_imm1 : [> `Read ] Types.decoded_inst_ptr -> int

val get_pos_modrm : [> `Read ] Types.decoded_inst_ptr -> int

val get_pos_nominal_opcode : [> `Read ] Types.decoded_inst_ptr -> int

val get_pos_sib : [> `Read ] Types.decoded_inst_ptr -> int

val get_prefix66 : [> `Read ] Types.decoded_inst_ptr -> int

val get_ptr : [> `Read ] Types.decoded_inst_ptr -> int

val get_realmode : [> `Read ] Types.decoded_inst_ptr -> int

val get_reg : [> `Read ] Types.decoded_inst_ptr -> int

val get_reg0 : [> `Read ] Types.decoded_inst_ptr -> XBEnums.reg

val get_reg1 : [> `Read ] Types.decoded_inst_ptr -> XBEnums.reg

val get_reg2 : [> `Read ] Types.decoded_inst_ptr -> XBEnums.reg

val get_reg3 : [> `Read ] Types.decoded_inst_ptr -> XBEnums.reg

val get_reg4 : [> `Read ] Types.decoded_inst_ptr -> XBEnums.reg

val get_reg5 : [> `Read ] Types.decoded_inst_ptr -> XBEnums.reg

val get_reg6 : [> `Read ] Types.decoded_inst_ptr -> XBEnums.reg

val get_reg7 : [> `Read ] Types.decoded_inst_ptr -> XBEnums.reg

val get_reg8 : [> `Read ] Types.decoded_inst_ptr -> XBEnums.reg

val get_reg9 : [> `Read ] Types.decoded_inst_ptr -> XBEnums.reg

val get_relbr : [> `Read ] Types.decoded_inst_ptr -> int

val get_rep : [> `Read ] Types.decoded_inst_ptr -> int

val get_rex : [> `Read ] Types.decoded_inst_ptr -> int

val get_rex2 : [> `Read ] Types.decoded_inst_ptr -> int

val get_rexb : [> `Read ] Types.decoded_inst_ptr -> int

val get_rexb4 : [> `Read ] Types.decoded_inst_ptr -> int

val get_rexr : [> `Read ] Types.decoded_inst_ptr -> int

val get_rexr4 : [> `Read ] Types.decoded_inst_ptr -> int

val get_rexw : [> `Read ] Types.decoded_inst_ptr -> int

val get_rexx : [> `Read ] Types.decoded_inst_ptr -> int

val get_rexx4 : [> `Read ] Types.decoded_inst_ptr -> int

val get_rm : [> `Read ] Types.decoded_inst_ptr -> int

val get_roundc : [> `Read ] Types.decoded_inst_ptr -> int

val get_sae : [> `Read ] Types.decoded_inst_ptr -> int

val get_scale : [> `Read ] Types.decoded_inst_ptr -> int

val get_scc : [> `Read ] Types.decoded_inst_ptr -> int

val get_seg0 : [> `Read ] Types.decoded_inst_ptr -> XBEnums.reg

val get_seg1 : [> `Read ] Types.decoded_inst_ptr -> XBEnums.reg

val get_seg_ovd : [> `Read ] Types.decoded_inst_ptr -> int

val get_sibbase : [> `Read ] Types.decoded_inst_ptr -> int

val get_sibindex : [> `Read ] Types.decoded_inst_ptr -> int

val get_sibscale : [> `Read ] Types.decoded_inst_ptr -> int

val get_skip_osz : [> `Read ] Types.decoded_inst_ptr -> int

val get_smode : [> `Read ] Types.decoded_inst_ptr -> int

val get_srm : [> `Read ] Types.decoded_inst_ptr -> int

val get_tzcnt : [> `Read ] Types.decoded_inst_ptr -> int

val get_ubit : [> `Read ] Types.decoded_inst_ptr -> int

val get_uimm0 : [> `Read ] Types.decoded_inst_ptr -> Unsigned.UInt64.t

val get_uimm1 : [> `Read ] Types.decoded_inst_ptr -> char

val get_using_default_segment0 : [> `Read ] Types.decoded_inst_ptr -> int

val get_using_default_segment1 : [> `Read ] Types.decoded_inst_ptr -> int

val get_vex_c4 : [> `Read ] Types.decoded_inst_ptr -> int

val get_vex_prefix : [> `Read ] Types.decoded_inst_ptr -> int

val get_vexdest210 : [> `Read ] Types.decoded_inst_ptr -> int

val get_vexdest3 : [> `Read ] Types.decoded_inst_ptr -> int

val get_vexdest4 : [> `Read ] Types.decoded_inst_ptr -> int

val get_vexvalid : [> `Read ] Types.decoded_inst_ptr -> int

val get_vl : [> `Read ] Types.decoded_inst_ptr -> int

val get_vl_ign : [> `Read ] Types.decoded_inst_ptr -> int

val get_wbnoinvd : [> `Read ] Types.decoded_inst_ptr -> int

val get_zeroing : [> `Read ] Types.decoded_inst_ptr -> int

val set_absbr : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_agen : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_amd3dnow : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_asz : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_base0 : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  XBEnums.reg ->
  unit

val set_base1 : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  XBEnums.reg ->
  unit

val set_bcast : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_bcrc : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_brdisp_width : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  char ->
  unit

val set_cet : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_chip : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  XBEnums.chip ->
  unit

val set_cldemote : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_default_seg : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_df32 : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_df64 : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_disp : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  Signed.Int64.t ->
  unit

val set_disp_width : [> `Read | `Write ] Types.decoded_inst_ptr -> char -> unit

val set_dummy : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_easz : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_element_size : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  int ->
  unit

val set_encode_force : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  int ->
  unit

val set_encoder_preferred : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  int ->
  unit

val set_eosz : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_error : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  XBEnums.error ->
  unit

val set_esrc : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_evvspace : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_first_f2f3 : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_has_egpr : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_has_modrm : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_has_sib : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_hint : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_iclass : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  XBEnums.iclass ->
  unit

val set_ild_f2 : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_ild_f3 : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_ild_seg : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_imm0 : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_imm0signed : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_imm1 : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_imm1_bytes : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_imm_width : [> `Read | `Write ] Types.decoded_inst_ptr -> char -> unit

val set_index : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  XBEnums.reg ->
  unit

val set_last_f2f3 : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_llrc : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_lock : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_lzcnt : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_map : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_mask : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_max_bytes : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_mem0 : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_mem1 : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_mem_width : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  Unsigned.UInt16.t ->
  unit

val set_mod : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_mode : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_mode_first_prefix : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  int ->
  unit

val set_mode_short_ud0 : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  int ->
  unit

val set_modep5 : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_modep55c : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_modrm_byte : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_mpxmode : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_must_use_evex : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  int ->
  unit

val set_nd : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_need_memdisp : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  int ->
  unit

val set_need_sib : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_needrex : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_nelem : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_nf : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_no_apx : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_no_evex : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_no_vex : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_nominal_opcode : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  int ->
  unit

val set_norex : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_norex2 : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_nprefixes : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_nrexes : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_nseg_prefixes : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  int ->
  unit

val set_osz : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_out_of_bytes : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  int ->
  unit

val set_outreg : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  XBEnums.reg ->
  unit

val set_p4 : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_pos_disp : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_pos_imm : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_pos_imm1 : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_pos_modrm : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_pos_nominal_opcode : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  int ->
  unit

val set_pos_sib : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_prefix66 : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_ptr : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_realmode : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_reg : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_reg0 : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  XBEnums.reg ->
  unit

val set_reg1 : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  XBEnums.reg ->
  unit

val set_reg2 : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  XBEnums.reg ->
  unit

val set_reg3 : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  XBEnums.reg ->
  unit

val set_reg4 : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  XBEnums.reg ->
  unit

val set_reg5 : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  XBEnums.reg ->
  unit

val set_reg6 : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  XBEnums.reg ->
  unit

val set_reg7 : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  XBEnums.reg ->
  unit

val set_reg8 : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  XBEnums.reg ->
  unit

val set_reg9 : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  XBEnums.reg ->
  unit

val set_relbr : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_rep : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_rex : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_rex2 : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_rexb : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_rexb4 : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_rexr : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_rexr4 : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_rexw : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_rexx : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_rexx4 : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_rm : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_roundc : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_sae : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_scale : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_scc : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_seg0 : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  XBEnums.reg ->
  unit

val set_seg1 : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  XBEnums.reg ->
  unit

val set_seg_ovd : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_sibbase : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_sibindex : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_sibscale : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_skip_osz : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_smode : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_srm : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_tzcnt : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_ubit : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_uimm0 : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  Unsigned.UInt64.t ->
  unit

val set_uimm1 : [> `Read | `Write ] Types.decoded_inst_ptr -> char -> unit

val set_using_default_segment0 : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  int ->
  unit

val set_using_default_segment1 : 
  [> `Read | `Write ] Types.decoded_inst_ptr ->
  int ->
  unit

val set_vex_c4 : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_vex_prefix : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_vexdest210 : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_vexdest3 : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_vexdest4 : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_vexvalid : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_vl : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_vl_ign : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_wbnoinvd : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

val set_zeroing : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

package xedbindings