package xedbindings

You can search for identifiers within the package.

in-package search v0.2.0

xedbindings
- README
- 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
    
    FlagDFV
    
    DecodedInst
    
    EncoderRequest
    
    FlagAction
    
    FlagSet
    
    Inst
    
    Operand
    
    Operand3
    
    OperandValues
    
    SimpleFlag
    
    State
- 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.OperandValues`Source

Sourcetype -'perm t = (Types.operand_values Ctypes.abstract, 'perm) Ptr.t

val uninit : 
  unit ->
  (Types.operand_values Ctypes.abstract, [ `Read | `Write ]) Ptr.t

Sourceval accesses_memory : [> `Read ] Types.operand_values_ptr -> bool

Sourceval branch_not_taken_hint : [> `Read ] Types.operand_values_ptr -> bool

Sourceval branch_taken_hint : [> `Read ] Types.operand_values_ptr -> bool

Sourceval cet_no_track : [> `Read ] Types.operand_values_ptr -> bool

Sourceval clear_rep : [> `Read | `Write ] Types.operand_values_ptr -> unit

Sourceval dump : [> `Read ] Types.operand_values_ptr -> bytes -> unit

Sourceval get_atomic : [> `Read ] Types.operand_values_ptr -> bool

Sourceval get_base_reg : [> `Read ] Types.operand_values_ptr -> int -> XBEnums.reg

Source

val get_branch_displacement_byte : 
  [> `Read ] Types.operand_values_ptr ->
  int ->
  char

Source

val get_branch_displacement_int64 : 
  [> `Read ] Types.operand_values_ptr ->
  Signed.Int64.t

Source

val get_branch_displacement_length : 
  [> `Read ] Types.operand_values_ptr ->
  Unsigned.UInt32.t

Source

val get_branch_displacement_length_bits : 
  [> `Read ] Types.operand_values_ptr ->
  Unsigned.UInt32.t

Sourceval get_displacement_for_memop : [> `Read ] Types.operand_values_ptr -> bool

Source

val get_effective_address_width : 
  [> `Read ] Types.operand_values_ptr ->
  Unsigned.UInt32.t

Source

val get_effective_operand_width : 
  [> `Read ] Types.operand_values_ptr ->
  Unsigned.UInt32.t

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

Sourceval get_immediate_byte : [> `Read ] Types.operand_values_ptr -> int -> char

Sourceval get_immediate_int64 : [> `Read ] Types.operand_values_ptr -> Signed.Int64.t

Sourceval get_immediate_is_signed : [> `Read ] Types.operand_values_ptr -> int

Source

val get_immediate_uint64 : 
  [> `Read ] Types.operand_values_ptr ->
  Unsigned.UInt64.t

Sourceval get_index_reg : [> `Read ] Types.operand_values_ptr -> int -> XBEnums.reg

Sourceval get_long_mode : [> `Read ] Types.operand_values_ptr -> bool

Source

val get_memory_displacement_byte : 
  [> `Read ] Types.operand_values_ptr ->
  int ->
  char

Source

val get_memory_displacement_int64 : 
  [> `Read ] Types.operand_values_ptr ->
  Signed.Int64.t

Source

val get_memory_displacement_int64_raw : 
  [> `Read ] Types.operand_values_ptr ->
  Signed.Int64.t

Source

val get_memory_displacement_length : 
  [> `Read ] Types.operand_values_ptr ->
  Unsigned.UInt32.t

Source

val get_memory_displacement_length_bits : 
  [> `Read ] Types.operand_values_ptr ->
  Unsigned.UInt32.t

Source

val get_memory_displacement_length_bits_raw : 
  [> `Read ] Types.operand_values_ptr ->
  Unsigned.UInt32.t

Source

val get_memory_operand_length : 
  [> `Read ] Types.operand_values_ptr ->
  int ->
  int

Sourceval get_pp_vex_prefix : [> `Read ] Types.operand_values_ptr -> int

Sourceval get_real_mode : [> `Read ] Types.operand_values_ptr -> bool

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

Sourceval get_second_immediate : [> `Read ] Types.operand_values_ptr -> char

Sourceval get_seg_reg : [> `Read ] Types.operand_values_ptr -> int -> XBEnums.reg

Source

val get_stack_address_width : 
  [> `Read ] Types.operand_values_ptr ->
  Unsigned.UInt32.t

Sourceval has_66_prefix : [> `Read ] Types.operand_values_ptr -> bool

Sourceval has_address_size_prefix : [> `Read ] Types.operand_values_ptr -> bool

Sourceval has_branch_displacement : [> `Read ] Types.operand_values_ptr -> bool

Sourceval has_displacement : [> `Read ] Types.operand_values_ptr -> bool

Sourceval has_immediate : [> `Read ] Types.operand_values_ptr -> bool

Sourceval has_lock_prefix : [> `Read ] Types.operand_values_ptr -> bool

Sourceval has_memory_displacement : [> `Read ] Types.operand_values_ptr -> bool

Sourceval has_modrm_byte : [> `Read ] Types.operand_values_ptr -> bool

Sourceval has_operand_size_prefix : [> `Read ] Types.operand_values_ptr -> bool

Sourceval has_real_rep : [> `Read ] Types.operand_values_ptr -> bool

Sourceval has_rep_prefix : [> `Read ] Types.operand_values_ptr -> bool

Sourceval has_repne_prefix : [> `Read ] Types.operand_values_ptr -> bool

Sourceval has_rexw_prefix : [> `Read ] Types.operand_values_ptr -> bool

Sourceval has_segment_prefix : [> `Read ] Types.operand_values_ptr -> bool

Sourceval has_sib_byte : [> `Read ] Types.operand_values_ptr -> bool

Sourceval ignored_branch_not_taken_hint : [> `Read ] Types.operand_values_ptr -> bool

Sourceval ignored_branch_taken_hint : [> `Read ] Types.operand_values_ptr -> bool

Sourceval init : unit -> [ `Read | `Write ] t

Source

val init_keep_mode : 
  [> `Read ] Types.operand_values_ptr ->
  [ `Read | `Write ] t

Sourceval init_set_mode : [> `Read ] Types.state_ptr -> [ `Read | `Write ] t

Sourceval is_nop : [> `Read ] Types.operand_values_ptr -> bool

Sourceval lockable : [> `Read ] Types.operand_values_ptr -> bool

Sourceval mandatory_66_prefix : [> `Read ] Types.operand_values_ptr -> bool

Sourceval memop_without_modrm : [> `Read ] Types.operand_values_ptr -> bool

Sourceval number_of_memory_operands : [> `Read ] Types.operand_values_ptr -> int

Sourceval print_short : [> `Read ] Types.operand_values_ptr -> bytes -> unit

Sourceval segment_prefix : [> `Read ] Types.operand_values_ptr -> XBEnums.reg

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

Source

val set_base_reg : 
  [> `Read | `Write ] Types.operand_values_ptr ->
  int ->
  XBEnums.reg ->
  unit

Source

val set_branch_displacement : 
  [> `Read | `Write ] Types.operand_values_ptr ->
  Signed.Int64.t ->
  int ->
  unit

Source

val set_branch_displacement_bits : 
  [> `Read | `Write ] Types.operand_values_ptr ->
  Signed.Int64.t ->
  int ->
  unit

Source

val set_effective_address_width : 
  [> `Read | `Write ] Types.operand_values_ptr ->
  int ->
  unit

Source

val set_effective_operand_width : 
  [> `Read | `Write ] Types.operand_values_ptr ->
  int ->
  unit

Source

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

Source

val set_immediate_signed : 
  [> `Read | `Write ] Types.operand_values_ptr ->
  Signed.Int32.t ->
  int ->
  unit

Source

val set_immediate_signed_bits : 
  [> `Read | `Write ] Types.operand_values_ptr ->
  Signed.Int32.t ->
  int ->
  unit

Source

val set_immediate_unsigned : 
  [> `Read | `Write ] Types.operand_values_ptr ->
  Unsigned.UInt64.t ->
  int ->
  unit

Source

val set_immediate_unsigned_bits : 
  [> `Read | `Write ] Types.operand_values_ptr ->
  Unsigned.UInt64.t ->
  int ->
  unit

Source

val set_index_reg : 
  [> `Read | `Write ] Types.operand_values_ptr ->
  int ->
  XBEnums.reg ->
  unit

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

Source

val set_memory_displacement : 
  [> `Read | `Write ] Types.operand_values_ptr ->
  Signed.Int64.t ->
  int ->
  unit

Source

val set_memory_displacement_bits : 
  [> `Read | `Write ] Types.operand_values_ptr ->
  Signed.Int64.t ->
  int ->
  unit

Source

val set_memory_operand_length : 
  [> `Read | `Write ] Types.operand_values_ptr ->
  int ->
  unit

Source

val set_mode : 
  [> `Read | `Write ] Types.operand_values_ptr ->
  [> `Read ] Types.state_ptr ->
  unit

Source

val set_operand_reg : 
  [> `Read | `Write ] Types.operand_values_ptr ->
  XBEnums.operand ->
  XBEnums.reg ->
  unit

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

Source

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

Source

val set_seg_reg : 
  [> `Read | `Write ] Types.operand_values_ptr ->
  int ->
  XBEnums.reg ->
  unit

Sourceval using_default_segment : [> `Read ] Types.operand_values_ptr -> int -> bool

Source

val zero_branch_displacement : 
  [> `Read | `Write ] Types.operand_values_ptr ->
  unit

Sourceval zero_immediate : [> `Read | `Write ] Types.operand_values_ptr -> unit

Source

val zero_memory_displacement : 
  [> `Read | `Write ] Types.operand_values_ptr ->
  unit

Source

val zero_segment_override : 
  [> `Read | `Write ] Types.operand_values_ptr ->
  unit

package xedbindings

Module Bind.OperandValuesSource

Module `Bind.OperandValues`Source