Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Source file type_desc.ml
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202moduleTypes(F:Cstubs.Types.TYPE)=structopenFopenstructtype'aabstract='aCtypes.abstracttype'astructure='aCtypes.structurelet(%)fg=funx->f(gx)letuint_of_int=Unsigned.UInt.of_intletuint_to_int=Unsigned.UInt.to_intend(* Since ctypes doesn't have const ptrs. *)modulePtr:sigtype('a,-'perm)tvalro:'aCtypes.ptr->('a,[`Read])tvalrw:'aCtypes.ptr->('a,[`Read|`Write])tvalget:('a,[`Read|`Write])t->'aCtypes.ptrvalunsafe_get:('a,'perm)t->'aCtypes.ptrvalraw_address:('a,'perm)t->nativeintvalconst:('a,[>`Read])t->('a,[`Read])tend=structtype('a,-'perm)t='aCtypes.ptrletrox=xletrwx=xletgetx=xletunsafe_getx=xletraw_addressx=Ctypes.raw_address_of_ptr@@Ctypes.to_voidpxletconstx=xendtypeencoder_operandletencoder_operand:encoder_operandstructuretyp=structure"xed_encoder_operand_t"typeenc_displacementletenc_displacement:enc_displacementstructuretyp=structure"xed_enc_displacement_t"typechip_featuresletchip_features:chip_featuresabstracttyp=abstract~name:"xed_chip_features_t"~size:48~alignment:8letconst_chip_features_ptr=view~read:Ptr.ro~write:Ptr.unsafe_get@@ptrchip_featuresletchip_features_ptr=view~read:Ptr.rw~write:Ptr.get@@ptrchip_featurestype'achip_features_ptr=(chip_featuresabstract,'a)Ptr.ttypedecoded_instletdecoded_inst:decoded_instabstracttyp=abstract~name:"xed_decoded_inst_t"~size:208~alignment:8letconst_decoded_inst_ptr=view~read:Ptr.ro~write:Ptr.unsafe_get@@ptrdecoded_instletdecoded_inst_ptr=view~read:Ptr.rw~write:Ptr.get@@ptrdecoded_insttype'adecoded_inst_ptr=(decoded_instabstract,'a)Ptr.ttypeencoder_instructionletencoder_instruction:encoder_instructionabstracttyp=abstract~name:"xed_encoder_instruction_t"~size:416~alignment:8letconst_encoder_instruction_ptr=view~read:Ptr.ro~write:Ptr.unsafe_get@@ptrencoder_instructionletencoder_instruction_ptr=view~read:Ptr.rw~write:Ptr.get@@ptrencoder_instructiontype'aencoder_instruction_ptr=(encoder_instructionabstract,'a)Ptr.ttypeencoder_requestletencoder_request:encoder_requestabstracttyp=abstract~name:"xed_encoder_request_t"~size:208~alignment:8letconst_encoder_request_ptr=view~read:Ptr.ro~write:Ptr.unsafe_get@@ptrencoder_requestletencoder_request_ptr=view~read:Ptr.rw~write:Ptr.get@@ptrencoder_requesttype'aencoder_request_ptr=(encoder_requestabstract,'a)Ptr.ttypeflag_actionletflag_action:flag_actionabstracttyp=abstract~name:"xed_flag_action_t"~size:8~alignment:4letconst_flag_action_ptr=view~read:Ptr.ro~write:Ptr.unsafe_get@@ptrflag_actionletflag_action_ptr=view~read:Ptr.rw~write:Ptr.get@@ptrflag_actiontype'aflag_action_ptr=(flag_actionabstract,'a)Ptr.ttypeflag_dfvletflag_dfv:flag_dfvabstracttyp=abstract~name:"xed_flag_dfv_t"~size:4~alignment:4letconst_flag_dfv_ptr=view~read:Ptr.ro~write:Ptr.unsafe_get@@ptrflag_dfvletflag_dfv_ptr=view~read:Ptr.rw~write:Ptr.get@@ptrflag_dfvtype'aflag_dfv_ptr=(flag_dfvabstract,'a)Ptr.ttypeflag_setletflag_set:flag_setabstracttyp=abstract~name:"xed_flag_set_t"~size:4~alignment:4letconst_flag_set_ptr=view~read:Ptr.ro~write:Ptr.unsafe_get@@ptrflag_setletflag_set_ptr=view~read:Ptr.rw~write:Ptr.get@@ptrflag_settype'aflag_set_ptr=(flag_setabstract,'a)Ptr.ttypeinstletinst:instabstracttyp=abstract~name:"xed_inst_t"~size:12~alignment:2letconst_inst_ptr=view~read:Ptr.ro~write:Ptr.unsafe_get@@ptrinstletinst_ptr=view~read:Ptr.rw~write:Ptr.get@@ptrinsttype'ainst_ptr=(instabstract,'a)Ptr.ttypeoperandletoperand:operandabstracttyp=abstract~name:"xed_operand_t"~size:12~alignment:4letconst_operand_ptr=view~read:Ptr.ro~write:Ptr.unsafe_get@@ptroperandletoperand_ptr=view~read:Ptr.rw~write:Ptr.get@@ptroperandtype'aoperand_ptr=(operandabstract,'a)Ptr.ttypeoperand_valuesletoperand_values:operand_valuesabstracttyp=abstract~name:"xed_operand_values_t"~size:208~alignment:8letconst_operand_values_ptr=view~read:Ptr.ro~write:Ptr.unsafe_get@@ptroperand_valuesletoperand_values_ptr=view~read:Ptr.rw~write:Ptr.get@@ptroperand_valuestype'aoperand_values_ptr=(operand_valuesabstract,'a)Ptr.ttypesimple_flagletsimple_flag:simple_flagabstracttyp=abstract~name:"xed_simple_flag_t"~size:20~alignment:4letconst_simple_flag_ptr=view~read:Ptr.ro~write:Ptr.unsafe_get@@ptrsimple_flagletsimple_flag_ptr=view~read:Ptr.rw~write:Ptr.get@@ptrsimple_flagtype'asimple_flag_ptr=(simple_flagabstract,'a)Ptr.ttypestateletstate:stateabstracttyp=abstract~name:"xed_state_t"~size:8~alignment:4letconst_state_ptr=view~read:Ptr.ro~write:Ptr.unsafe_get@@ptrstateletstate_ptr=view~read:Ptr.rw~write:Ptr.get@@ptrstatetype'astate_ptr=(stateabstract,'a)Ptr.tletaddress_width_enum=view~read:(XBEnums.address_width_of_int%uint_to_int)~write:(uint_of_int%XBEnums.address_width_to_int)@@typedefuint"xed_address_width_enum_t"letattribute_enum=view~read:(XBEnums.attribute_of_int%uint_to_int)~write:(uint_of_int%XBEnums.attribute_to_int)@@typedefuint"xed_attribute_enum_t"letcategory_enum=view~read:(XBEnums.category_of_int%uint_to_int)~write:(uint_of_int%XBEnums.category_to_int)@@typedefuint"xed_category_enum_t"letchip_enum=view~read:(XBEnums.chip_of_int%uint_to_int)~write:(uint_of_int%XBEnums.chip_to_int)@@typedefuint"xed_chip_enum_t"letcpuid_group_enum=view~read:(XBEnums.cpuid_group_of_int%uint_to_int)~write:(uint_of_int%XBEnums.cpuid_group_to_int)@@typedefuint"xed_cpuid_group_enum_t"letcpuid_rec_enum=view~read:(XBEnums.cpuid_rec_of_int%uint_to_int)~write:(uint_of_int%XBEnums.cpuid_rec_to_int)@@typedefuint"xed_cpuid_rec_enum_t"leterror_enum=view~read:(XBEnums.error_of_int%uint_to_int)~write:(uint_of_int%XBEnums.error_to_int)@@typedefuint"xed_error_enum_t"letextension_enum=view~read:(XBEnums.extension_of_int%uint_to_int)~write:(uint_of_int%XBEnums.extension_to_int)@@typedefuint"xed_extension_enum_t"letflag_enum=view~read:(XBEnums.flag_of_int%uint_to_int)~write:(uint_of_int%XBEnums.flag_to_int)@@typedefuint"xed_flag_enum_t"letflag_action_enum=view~read:(XBEnums.flag_action_of_int%uint_to_int)~write:(uint_of_int%XBEnums.flag_action_to_int)@@typedefuint"xed_flag_action_enum_t"leticlass_enum=view~read:(XBEnums.iclass_of_int%uint_to_int)~write:(uint_of_int%XBEnums.iclass_to_int)@@typedefuint"xed_iclass_enum_t"letiexception_enum=view~read:(XBEnums.iexception_of_int%uint_to_int)~write:(uint_of_int%XBEnums.iexception_to_int)@@typedefuint"xed_exception_enum_t"letiform_enum=view~read:(XBEnums.iform_of_int%uint_to_int)~write:(uint_of_int%XBEnums.iform_to_int)@@typedefuint"xed_iform_enum_t"letisa_set_enum=view~read:(XBEnums.isa_set_of_int%uint_to_int)~write:(uint_of_int%XBEnums.isa_set_to_int)@@typedefuint"xed_isa_set_enum_t"letmachine_mode_enum=view~read:(XBEnums.machine_mode_of_int%uint_to_int)~write:(uint_of_int%XBEnums.machine_mode_to_int)@@typedefuint"xed_machine_mode_enum_t"letnonterminal_enum=view~read:(XBEnums.nonterminal_of_int%uint_to_int)~write:(uint_of_int%XBEnums.nonterminal_to_int)@@typedefuint"xed_nonterminal_enum_t"letoperand_enum=view~read:(XBEnums.operand_of_int%uint_to_int)~write:(uint_of_int%XBEnums.operand_to_int)@@typedefuint"xed_operand_enum_t"letoperand_action_enum=view~read:(XBEnums.operand_action_of_int%uint_to_int)~write:(uint_of_int%XBEnums.operand_action_to_int)@@typedefuint"xed_operand_action_enum_t"letoperand_convert_enum=view~read:(XBEnums.operand_convert_of_int%uint_to_int)~write:(uint_of_int%XBEnums.operand_convert_to_int)@@typedefuint"xed_operand_convert_enum_t"letoperand_element_type_enum=view~read:(XBEnums.operand_element_type_of_int%uint_to_int)~write:(uint_of_int%XBEnums.operand_element_type_to_int)@@typedefuint"xed_operand_element_type_enum_t"letoperand_element_xtype_enum=view~read:(XBEnums.operand_element_xtype_of_int%uint_to_int)~write:(uint_of_int%XBEnums.operand_element_xtype_to_int)@@typedefuint"xed_operand_element_xtype_enum_t"letoperand_type_enum=view~read:(XBEnums.operand_type_of_int%uint_to_int)~write:(uint_of_int%XBEnums.operand_type_to_int)@@typedefuint"xed_operand_type_enum_t"letoperand_visibility_enum=view~read:(XBEnums.operand_visibility_of_int%uint_to_int)~write:(uint_of_int%XBEnums.operand_visibility_to_int)@@typedefuint"xed_operand_visibility_enum_t"letoperand_width_enum=view~read:(XBEnums.operand_width_of_int%uint_to_int)~write:(uint_of_int%XBEnums.operand_width_to_int)@@typedefuint"xed_operand_width_enum_t"letreg_enum=view~read:(XBEnums.reg_of_int%uint_to_int)~write:(uint_of_int%XBEnums.reg_to_int)@@typedefuint"xed_reg_enum_t"letreg_class_enum=view~read:(XBEnums.reg_class_of_int%uint_to_int)~write:(uint_of_int%XBEnums.reg_class_to_int)@@typedefuint"xed_reg_class_enum_t"letsyntax_enum=view~read:(XBEnums.syntax_of_int%uint_to_int)~write:(uint_of_int%XBEnums.syntax_to_int)@@typedefuint"xed_syntax_enum_t"end