Xed.Operand3Sourceinclude module type of struct include Bind.Operand3 endval get_base0 :
[> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.regval get_base1 :
[> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.regval get_chip :
[> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.chipval get_error :
[> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.errorval get_iclass :
[> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.iclassval get_index :
[> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.regval get_mem_width :
[> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Unsigned.UInt16.tval get_outreg :
[> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.regval get_reg0 :
[> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.regval get_reg1 :
[> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.regval get_reg2 :
[> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.regval get_reg3 :
[> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.regval get_reg4 :
[> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.regval get_reg5 :
[> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.regval get_reg6 :
[> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.regval get_reg7 :
[> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.regval get_reg8 :
[> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.regval get_reg9 :
[> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.regval get_seg0 :
[> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.regval get_seg1 :
[> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.regval get_using_default_segment0 :
[> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
intval get_using_default_segment1 :
[> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
intval set_absbr :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_agen :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_amd3dnow :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_base0 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.reg ->
unitval set_base1 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.reg ->
unitval set_bcast :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_bcrc :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_brdisp_width :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
char ->
unitval set_chip :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.chip ->
unitval set_cldemote :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_default_seg :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_df32 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_df64 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_disp :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Signed.Int64.t ->
unitval set_disp_width :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
char ->
unitval set_dummy :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_easz :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_element_size :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_enc_delete :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_encode_force :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_encoder_preferred :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_eosz :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_error :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.error ->
unitval set_esrc :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_evvspace :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_first_f2f3 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_has_egpr :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_hint :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_iclass :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.iclass ->
unitval set_ild_f2 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_ild_f3 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_ild_seg :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_imm0 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_imm0signed :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_imm1 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_imm1_bytes :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_imm_width :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
char ->
unitval set_index :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.reg ->
unitval set_last_f2f3 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_llrc :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_lock :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_lzcnt :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_mask :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_max_bytes :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_mem0 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_mem1 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_mem_width :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Unsigned.UInt16.t ->
unitval set_mode :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_mode_first_prefix :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_mode_short_ud0 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_modep5 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_modrm_byte :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_mpxmode :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_must_use_evex :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_need_memdisp :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_need_sib :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_needrex :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_nelem :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_no_apx :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_no_evex :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_no_vex :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_nominal_opcode :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_norex :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_norex2 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_nprefixes :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_nrexes :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_nseg_prefixes :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_out_of_bytes :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_outreg :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.reg ->
unitval set_pos_disp :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_pos_imm :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_pos_imm1 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_pos_modrm :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_pos_nominal_opcode :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_pos_sib :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_prefetchit :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_prefetchrst :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_prefix66 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_realmode :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_reg0 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.reg ->
unitval set_reg1 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.reg ->
unitval set_reg2 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.reg ->
unitval set_reg3 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.reg ->
unitval set_reg4 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.reg ->
unitval set_reg5 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.reg ->
unitval set_reg6 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.reg ->
unitval set_reg7 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.reg ->
unitval set_reg8 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.reg ->
unitval set_reg9 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.reg ->
unitval set_relbr :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_rex2 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_rexb :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_rexb4 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_rexr :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_rexr4 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_rexw :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_rexx :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_rexx4 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_roundc :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_scale :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_seg0 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.reg ->
unitval set_seg1 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Xedbindings_bind.XBEnums.reg ->
unitval set_seg_ovd :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_sibbase :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_sibindex :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_sibscale :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_skip_osz :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_smode :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_tzcnt :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_ubit :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_uimm0 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
Unsigned.UInt64.t ->
unitval set_uimm1 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
char ->
unitval set_using_default_segment0 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_using_default_segment1 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_vex_c4 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_vex_prefix :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_vexdest210 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_vexdest3 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_vexdest4 :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_vexvalid :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_vl_ign :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_wbnoinvd :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_zeroing :
[> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
int ->
unitval set_has_modrm :
[> `Read | `Write ] Xedbindings_bind.Types_generated.decoded_inst_ptr ->
bool ->
unitval set_has_sib :
[> `Read | `Write ] Xedbindings_bind.Types_generated.decoded_inst_ptr ->
bool ->
unit