Xed.EncoderRequestSourceinclude module type of struct include Bind.EncoderRequest endtype -'perm t =
(Xedbindings_bind.Bind.Types.encoder_request Ctypes.abstract, 'perm)
Xedbindings_bind.Bind.Ptr.tval uninit :
unit ->
(Xedbindings_bind.Bind.Types.encoder_request Ctypes.abstract,
[ `Read | `Write ])
Xedbindings_bind.Bind.Ptr.tval convert_to_encoder_request :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.encoder_request_ptr ->
[> `Read | `Write ] Xedbindings_bind.Bind.Types.encoder_instruction_ptr ->
boolval get_iclass :
[> `Read ] Xedbindings_bind.Bind.Types.encoder_request_ptr ->
Xedbindings_bind.XBEnums.iclassval get_operand_order :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.encoder_request_ptr ->
int ->
Xedbindings_bind.XBEnums.operandval operand_order_entries :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.encoder_request_ptr ->
intval operands :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.encoder_request_ptr ->
[ `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptrval operands_const :
[> `Read ] Xedbindings_bind.Bind.Types.encoder_request_ptr ->
[ `Read ] Xedbindings_bind.Bind.Types.operand_values_ptrval set_base0 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.encoder_request_ptr ->
Xedbindings_bind.XBEnums.reg ->
unitval set_base1 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.encoder_request_ptr ->
Xedbindings_bind.XBEnums.reg ->
unitval set_branch_displacement :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.encoder_request_ptr ->
Signed.Int64.t ->
int ->
unitval set_effective_address_size :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.encoder_request_ptr ->
int ->
unitval set_effective_operand_width :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.encoder_request_ptr ->
int ->
unitval set_iclass :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.encoder_request_ptr ->
Xedbindings_bind.XBEnums.iclass ->
unitval set_index :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.encoder_request_ptr ->
Xedbindings_bind.XBEnums.reg ->
unitval set_memory_displacement :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.encoder_request_ptr ->
Signed.Int64.t ->
int ->
unitval set_memory_operand_length :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.encoder_request_ptr ->
int ->
unitval set_operand_order :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.encoder_request_ptr ->
int ->
Xedbindings_bind.XBEnums.operand ->
unitval set_reg :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.encoder_request_ptr ->
Xedbindings_bind.XBEnums.operand ->
Xedbindings_bind.XBEnums.reg ->
unitval set_scale :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.encoder_request_ptr ->
int ->
unitval set_seg0 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.encoder_request_ptr ->
Xedbindings_bind.XBEnums.reg ->
unitval set_seg1 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.encoder_request_ptr ->
Xedbindings_bind.XBEnums.reg ->
unitval set_simm :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.encoder_request_ptr ->
Signed.Int32.t ->
int ->
unitval set_uimm0 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.encoder_request_ptr ->
Unsigned.UInt64.t ->
int ->
unitval set_uimm0_bits :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.encoder_request_ptr ->
Unsigned.UInt64.t ->
int ->
unitval set_uimm1 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.encoder_request_ptr ->
char ->
unitval zero_operand_order :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.encoder_request_ptr ->
unitval zero_set_mode :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.encoder_request_ptr ->
[> `Read ] Xedbindings_bind.Bind.Types.state_ptr ->
unitval init :
[> `Read ] Xedbindings_bind.Types_generated.state_ptr ->
(Xedbindings_bind.Types_generated.encoder_request Ctypes.abstract,
[ `Read | `Write ])
Xedbindings_bind.Types_generated.Ptr.tval of_decoded_inst :
[> `Read ] Bind.DecodedInst.t ->
(Xedbindings_bind.Types_generated.encoder_request Ctypes.abstract,
[ `Read | `Write ])
Xedbindings_bind.Types_generated.Ptr.t