package linksem

You can search for identifiers within the package.

in-package search v0.2.0

linksem_zarith

Legend:
Library
Module
Module type
Parameter
Class
Class type

abi_mips64_relocation contains types and definitions relating to ABI * specific relocation functionality for the MIPS64 ABI.

val r_mips_none : Nat_big_num.num

No reloc

val r_mips_16 : Nat_big_num.num

No reloc

Direct 16 bit

val r_mips_32 : Nat_big_num.num

Direct 16 bit

Direct 32 bit

val r_mips_rel32 : Nat_big_num.num

Direct 32 bit

PC relative 32 bit

val r_mips_26 : Nat_big_num.num

PC relative 32 bit

Direct 26 bit shifted

val r_mips_hi16 : Nat_big_num.num

Direct 26 bit shifted

High 16 bit

val r_mips_lo16 : Nat_big_num.num

High 16 bit

Low 16 bit

val r_mips_gprel16 : Nat_big_num.num

Low 16 bit

GP relative 16 bit

val r_mips_literal : Nat_big_num.num

GP relative 16 bit

16 bit literal entry

val r_mips_got16 : Nat_big_num.num

16 bit literal entry

16 bit GOT entry

val r_mips_pc16 : Nat_big_num.num

16 bit GOT entry

PC relative 16 bit

val r_mips_call16 : Nat_big_num.num

PC relative 16 bit

16 bit GOT entry for function

val r_mips_gprel32 : Nat_big_num.num

16 bit GOT entry for function

GP relative 32 bit

val r_mips_shift5 : Nat_big_num.num

val r_mips_shift6 : Nat_big_num.num

val r_mips_64 : Nat_big_num.num

val r_mips_got_disp : Nat_big_num.num

val r_mips_got_page : Nat_big_num.num

val r_mips_got_ofst : Nat_big_num.num

val r_mips_got_hi16 : Nat_big_num.num

val r_mips_got_lo16 : Nat_big_num.num

val r_mips_sub : Nat_big_num.num

val r_mips_insert_a : Nat_big_num.num

val r_mips_insert_b : Nat_big_num.num

val r_mips_delete : Nat_big_num.num

val r_mips_higher : Nat_big_num.num

val r_mips_highest : Nat_big_num.num

val r_mips_call_hi16 : Nat_big_num.num

val r_mips_call_lo16 : Nat_big_num.num

val r_mips_scn_disp : Nat_big_num.num

val r_mips_rel16 : Nat_big_num.num

val r_mips_add_immediate : Nat_big_num.num

val r_mips_pjump : Nat_big_num.num

val r_mips_relgot : Nat_big_num.num

val r_mips_jalr : Nat_big_num.num

val r_mips_tls_dtpmod32 : Nat_big_num.num

Module number 32 bit

val r_mips_tls_dtprel32 : Nat_big_num.num

Module number 32 bit

Module-relative offset 32 bit

val r_mips_tls_dtpmod64 : Nat_big_num.num

Module-relative offset 32 bit

Module number 64 bit

val r_mips_tls_dtprel64 : Nat_big_num.num

Module number 64 bit

Module-relative offset 64 bit

val r_mips_tls_gd : Nat_big_num.num

Module-relative offset 64 bit

16 bit GOT offset for GD

val r_mips_tls_ldm : Nat_big_num.num

16 bit GOT offset for GD

16 bit GOT offset for LDM

val r_mips_tls_dtprel_hi16 : Nat_big_num.num

16 bit GOT offset for LDM

Module-relative offset, high 16 bits

val r_mips_tls_dtprel_lo16 : Nat_big_num.num

Module-relative offset, high 16 bits

Module-relative offset, low 16 bits

val r_mips_tls_gottprel : Nat_big_num.num

Module-relative offset, low 16 bits

16 bit GOT offset for IE

val r_mips_tls_tprel32 : Nat_big_num.num

16 bit GOT offset for IE

TP-relative offset, 32 bit

val r_mips_tls_tprel64 : Nat_big_num.num

TP-relative offset, 32 bit

TP-relative offset, 64 bit

val r_mips_tls_tprel_hi16 : Nat_big_num.num

TP-relative offset, 64 bit

TP-relative offset, high 16 bits

val r_mips_tls_tprel_lo16 : Nat_big_num.num

TP-relative offset, high 16 bits

TP-relative offset, low 16 bits

val r_mips_glob_dat : Nat_big_num.num

TP-relative offset, low 16 bits

val r_mips_copy : Nat_big_num.num

val r_mips_jump_slot : Nat_big_num.num

val byte_mask : Nat_big_num.num

val get_mips64_relocation_subtypes : 
  Nat_big_num.num ->
  Nat_big_num.num * Nat_big_num.num * Nat_big_num.num

val string_of_mips64_relocation_subtype : Nat_big_num.num -> string

val string_of_mips64_relocation_type : Nat_big_num.num -> string

val mips64_base_addr : 
  Memory_image.symbol_reference_and_reloc_site ->
  Nat_big_num.num ->
  Nat_big_num.num

val 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