package linksem
Install
Dune Dependency
Authors
Maintainers
Sources
md5=2075c56715539b3b8f54ae65cc808b8c
sha512=f7c16e4036a1440a6a8d13707a43f0f9f9db0c68489215f948cc300b6a164dba5bf852e58f89503e9d9f38180ee658d9478156ca1a1ef64d6861eec5f9cf43d2
doc/linksem_zarith/Abi_mips64_relocation/index.html
Module Abi_mips64_relocationSource
abi_mips64_relocation contains types and definitions relating to ABI * specific relocation functionality for the MIPS64 ABI.
No reloc
No reloc
Direct 16 bit
Direct 16 bit
Direct 32 bit
Direct 32 bit
PC relative 32 bit
PC relative 32 bit
Direct 26 bit shifted
Direct 26 bit shifted
High 16 bit
High 16 bit
Low 16 bit
Low 16 bit
GP relative 16 bit
GP relative 16 bit
16 bit literal entry
16 bit literal entry
16 bit GOT entry
16 bit GOT entry
PC relative 16 bit
PC relative 16 bit
16 bit GOT entry for function
16 bit GOT entry for function
GP relative 32 bit
Module number 32 bit
Module number 32 bit
Module-relative offset 32 bit
Module-relative offset 32 bit
Module number 64 bit
Module number 64 bit
Module-relative offset 64 bit
Module-relative offset 64 bit
16 bit GOT offset for GD
16 bit GOT offset for GD
16 bit GOT offset for LDM
16 bit GOT offset for LDM
Module-relative offset, high 16 bits
Module-relative offset, high 16 bits
Module-relative offset, low 16 bits
Module-relative offset, low 16 bits
16 bit GOT offset for IE
16 bit GOT offset for IE
TP-relative offset, 32 bit
TP-relative offset, 32 bit
TP-relative offset, 64 bit
TP-relative offset, 64 bit
TP-relative offset, high 16 bits
TP-relative offset, high 16 bits
TP-relative offset, low 16 bits
TP-relative offset, low 16 bits
val get_mips64_relocation_subtypes :
Nat_big_num.num ->
Nat_big_num.num * Nat_big_num.num * Nat_big_num.numval 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