package xedbindings

You can search for identifiers within the package.

in-package search v0.2.0

package xedbindings

xedbindings
- Library xedbindings
  - Xedbindings
    
    Xed
    
    Bind
- Library xedbindings.bind
  - Xedbindings_bind
    
    Bind
    
    Funcs
    
    Types
    
    Ptr
    
    ChipFeatures
    
    DecodedInst
    
    EncoderRequest
    
    FlagAction
    
    FlagSet
    
    Inst
    
    Operand
    
    Operand3
    
    OperandValues
    
    SimpleFlag
    
    State
    
    Constants
    
    Enum
    
    Enc
    
    C
    
    Type
    
    Function
    
    Function_desc
    
    Functions
    
    Type_desc
    
    Types
    
    Ptr
    
    Types_generated
    
    Ptr
    
    XBEnums
- Library xedbindings.xed
  - Xedbindings_xed
    
    Xed
    
    Bind
    
    Ptr
    
    Enum
    
    ChipFeatures
    
    DecodedInst
    
    EncoderRequest
    
    FlagAction
    
    FlagSet
    
    FlagDFV
    
    Inst
    
    Operand
    
    Operand3
    
    OperandValues
    
    SimpleFlag
    
    State
    
    Enc
- Sources
  - xedbindings
    
    xedbindings.ml
  - xedbindings.bind
    
    XBEnums.ml
    
    bind.ml
    
    c.ml
    
    function_desc.ml
    
    libxed__c_generated_functions__Function_desc__Function.ml
    
    libxed__c_generated_types.ml
    
    type_desc.ml
    
    types_generated.ml
    
    xedbindings_bind.ml
  - xedbindings.xed
    
    Xed.ml
    
    xedbindings_xed.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Bind.Operand3`Source

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Source

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

Source

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

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

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

Source

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

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

Source

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

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

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

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

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

Source

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

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

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

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

Source

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

Source

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

Source

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

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

Source

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

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

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

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

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

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

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

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

Source

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

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

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

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

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

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

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

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

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

Source

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

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

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

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

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

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

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

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

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

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

Source

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

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

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

Source

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

Source

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

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

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

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

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

Source

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

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

Source

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

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

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

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

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

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

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

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

Source

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

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

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

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

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

Source

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

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

Source

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

Source

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

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

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

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

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

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

Source

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

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

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

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

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

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Source

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

Source

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

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

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

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

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

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

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

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

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

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

Source

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

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

Source

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

Source

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

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

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

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

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

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

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

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

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

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

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

package xedbindings

Module Bind.Operand3Source

Module `Bind.Operand3`Source