Bind.EncoderRequestSourceval convert_to_encoder_request :
[> `Read | `Write ] Types.encoder_request_ptr ->
[> `Read | `Write ] Types.encoder_instruction_ptr ->
boolval get_operand_order :
[> `Read | `Write ] Types.encoder_request_ptr ->
int ->
XBEnums.operandval operands :
[> `Read | `Write ] Types.encoder_request_ptr ->
[ `Read | `Write ] Types.operand_values_ptrval operands_const :
[> `Read ] Types.encoder_request_ptr ->
[ `Read ] Types.operand_values_ptrval set_branch_displacement :
[> `Read | `Write ] Types.encoder_request_ptr ->
Signed.Int64.t ->
int ->
unitval set_effective_operand_width :
[> `Read | `Write ] Types.encoder_request_ptr ->
int ->
unitval set_memory_displacement :
[> `Read | `Write ] Types.encoder_request_ptr ->
Signed.Int64.t ->
int ->
unitval set_operand_order :
[> `Read | `Write ] Types.encoder_request_ptr ->
int ->
XBEnums.operand ->
unitval set_reg :
[> `Read | `Write ] Types.encoder_request_ptr ->
XBEnums.operand ->
XBEnums.reg ->
unitval set_uimm0 :
[> `Read | `Write ] Types.encoder_request_ptr ->
Unsigned.UInt64.t ->
int ->
unitval set_uimm0_bits :
[> `Read | `Write ] Types.encoder_request_ptr ->
Unsigned.UInt64.t ->
int ->
unitval zero_set_mode :
[> `Read | `Write ] Types.encoder_request_ptr ->
[> `Read ] Types.state_ptr ->
unit