package linksem

  1. Overview
  2. Docs
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 abi_mips_parse_elf64_relocation_info : Nat_big_num.num -> Nat_big_num.num * Nat_big_num.num
OCaml

Innovation. Community. Security.