Module Bind.OperandValuesSource

Sourceval 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
Sourceval get_branch_displacement_byte : [> `Read ] Types.operand_values_ptr -> int -> char
Sourceval get_branch_displacement_int64 : [> `Read ] Types.operand_values_ptr -> Signed.Int64.t
Sourceval get_branch_displacement_length : [> `Read ] Types.operand_values_ptr -> Unsigned.UInt32.t
Sourceval get_branch_displacement_length_bits : [> `Read ] Types.operand_values_ptr -> Unsigned.UInt32.t
Sourceval get_displacement_for_memop : [> `Read ] Types.operand_values_ptr -> bool
Sourceval get_effective_address_width : [> `Read ] Types.operand_values_ptr -> Unsigned.UInt32.t
Sourceval 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
Sourceval 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
Sourceval get_memory_displacement_byte : [> `Read ] Types.operand_values_ptr -> int -> char
Sourceval get_memory_displacement_int64 : [> `Read ] Types.operand_values_ptr -> Signed.Int64.t
Sourceval get_memory_displacement_int64_raw : [> `Read ] Types.operand_values_ptr -> Signed.Int64.t
Sourceval get_memory_displacement_length : [> `Read ] Types.operand_values_ptr -> Unsigned.UInt32.t
Sourceval get_memory_displacement_length_bits : [> `Read ] Types.operand_values_ptr -> Unsigned.UInt32.t
Sourceval get_memory_displacement_length_bits_raw : [> `Read ] Types.operand_values_ptr -> Unsigned.UInt32.t
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval set_base_reg : [> `Read | `Write ] Types.operand_values_ptr -> int -> XBEnums.reg -> unit
Sourceval set_branch_displacement : [> `Read | `Write ] Types.operand_values_ptr -> Signed.Int64.t -> int -> unit
Sourceval set_branch_displacement_bits : [> `Read | `Write ] Types.operand_values_ptr -> Signed.Int64.t -> int -> unit
Sourceval set_effective_address_width : [> `Read | `Write ] Types.operand_values_ptr -> int -> unit
Sourceval set_effective_operand_width : [> `Read | `Write ] Types.operand_values_ptr -> int -> unit
Sourceval set_iclass : [> `Read | `Write ] Types.operand_values_ptr -> XBEnums.iclass -> unit
Sourceval set_immediate_signed : [> `Read | `Write ] Types.operand_values_ptr -> Signed.Int32.t -> int -> unit
Sourceval set_immediate_signed_bits : [> `Read | `Write ] Types.operand_values_ptr -> Signed.Int32.t -> int -> unit
Sourceval set_immediate_unsigned : [> `Read | `Write ] Types.operand_values_ptr -> Unsigned.UInt64.t -> int -> unit
Sourceval set_immediate_unsigned_bits : [> `Read | `Write ] Types.operand_values_ptr -> Unsigned.UInt64.t -> int -> unit
Sourceval set_index_reg : [> `Read | `Write ] Types.operand_values_ptr -> int -> XBEnums.reg -> unit
Sourceval set_lock : [> `Read | `Write ] Types.operand_values_ptr -> unit
Sourceval set_memory_displacement : [> `Read | `Write ] Types.operand_values_ptr -> Signed.Int64.t -> int -> unit
Sourceval set_memory_displacement_bits : [> `Read | `Write ] Types.operand_values_ptr -> Signed.Int64.t -> int -> unit
Sourceval set_memory_operand_length : [> `Read | `Write ] Types.operand_values_ptr -> int -> unit
Sourceval set_mode : [> `Read | `Write ] Types.operand_values_ptr -> [> `Read ] Types.state_ptr -> unit
Sourceval set_operand_reg : [> `Read | `Write ] Types.operand_values_ptr -> XBEnums.operand -> XBEnums.reg -> unit
Sourceval set_relbr : [> `Read | `Write ] Types.operand_values_ptr -> unit
Sourceval set_scale : [> `Read | `Write ] Types.operand_values_ptr -> int -> int -> unit
Sourceval set_seg_reg : [> `Read | `Write ] Types.operand_values_ptr -> int -> XBEnums.reg -> unit
Sourceval using_default_segment : [> `Read ] Types.operand_values_ptr -> int -> bool
Sourceval zero_branch_displacement : [> `Read | `Write ] Types.operand_values_ptr -> unit
Sourceval zero_immediate : [> `Read | `Write ] Types.operand_values_ptr -> unit
Sourceval zero_memory_displacement : [> `Read | `Write ] Types.operand_values_ptr -> unit
Sourceval zero_segment_override : [> `Read | `Write ] Types.operand_values_ptr -> unit