package linksem
-
linksem_zarith
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package linksem
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val r_mips_none : Nat_big_num.numval r_mips_16 : Nat_big_num.numval r_mips_32 : Nat_big_num.numval r_mips_rel32 : Nat_big_num.numval r_mips_26 : Nat_big_num.numval r_mips_hi16 : Nat_big_num.numval r_mips_lo16 : Nat_big_num.numval r_mips_gprel16 : Nat_big_num.numval r_mips_literal : Nat_big_num.numval r_mips_got16 : Nat_big_num.numval r_mips_pc16 : Nat_big_num.numval r_mips_call16 : Nat_big_num.numval r_mips_gprel32 : Nat_big_num.numval r_mips_shift5 : Nat_big_num.numval r_mips_shift6 : Nat_big_num.numval r_mips_64 : Nat_big_num.numval r_mips_got_disp : Nat_big_num.numval r_mips_got_page : Nat_big_num.numval r_mips_got_ofst : Nat_big_num.numval r_mips_got_hi16 : Nat_big_num.numval r_mips_got_lo16 : Nat_big_num.numval r_mips_sub : Nat_big_num.numval r_mips_insert_a : Nat_big_num.numval r_mips_insert_b : Nat_big_num.numval r_mips_delete : Nat_big_num.numval r_mips_higher : Nat_big_num.numval r_mips_highest : Nat_big_num.numval r_mips_call_hi16 : Nat_big_num.numval r_mips_call_lo16 : Nat_big_num.numval r_mips_scn_disp : Nat_big_num.numval r_mips_rel16 : Nat_big_num.numval r_mips_add_immediate : Nat_big_num.numval r_mips_pjump : Nat_big_num.numval r_mips_relgot : Nat_big_num.numval r_mips_jalr : Nat_big_num.numval r_mips_tls_dtpmod32 : Nat_big_num.numval r_mips_tls_dtprel32 : Nat_big_num.numval r_mips_tls_dtpmod64 : Nat_big_num.numval r_mips_tls_dtprel64 : Nat_big_num.numval r_mips_tls_gd : Nat_big_num.numval r_mips_tls_ldm : Nat_big_num.numval r_mips_tls_dtprel_hi16 : Nat_big_num.numval r_mips_tls_dtprel_lo16 : Nat_big_num.numval r_mips_tls_gottprel : Nat_big_num.numval r_mips_tls_tprel32 : Nat_big_num.numval r_mips_tls_tprel64 : Nat_big_num.numval r_mips_tls_tprel_hi16 : Nat_big_num.numval r_mips_tls_tprel_lo16 : Nat_big_num.numval r_mips_glob_dat : Nat_big_num.numval r_mips_copy : Nat_big_num.numval r_mips_jump_slot : Nat_big_num.numval byte_mask : Nat_big_num.numval get_mips64_relocation_subtypes :
Nat_big_num.num ->
Nat_big_num.num * Nat_big_num.num * Nat_big_num.numval string_of_mips64_relocation_subtype : Nat_big_num.num -> stringval string_of_mips64_relocation_type : Nat_big_num.num -> stringval mips64_base_addr :
Memory_image.symbol_reference_and_reloc_site ->
Nat_big_num.num ->
Nat_big_num.numval mips64_reloc :
Nat_big_num.num ->
bool
* ('abifeature Memory_image.annotated_memory_image ->
Nat_big_num.num ->
Memory_image.symbol_reference_and_reloc_site ->
Nat_big_num.num
* (Nat_big_num.num ->
Nat_big_num.num ->
Nat_big_num.num ->
Nat_big_num.num))val abi_mips_parse_elf64_relocation_info :
Nat_big_num.num ->
Nat_big_num.num * Nat_big_num.num