package linksem

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

abi_x86_relocation contains X86 ABI specific definitions relating to * relocations.

Relocation types.

val r_386_none : Nat_big_num.num

val r_386_32 : Nat_big_num.num

val r_386_pc32 : Nat_big_num.num

val r_386_got32 : Nat_big_num.num

val r_386_plt32 : Nat_big_num.num

val r_386_copy : Nat_big_num.num

val r_386_glob_dat : Nat_big_num.num

val r_386_jmp_slot : Nat_big_num.num

val r_386_relative : Nat_big_num.num

val r_386_gotoff : Nat_big_num.num

val r_386_gotpc : Nat_big_num.num

Found in the "wild" but not in the ABI docs:

val r_386_tls_tpoff : Nat_big_num.num

val r_386_tls_dtpmod32 : Nat_big_num.num

val r_386_tls_dtpoff32 : Nat_big_num.num

val r_386_irelative : Nat_big_num.num

val string_of_x86_relocation_type : Nat_big_num.num -> string

string_of_x86_relocation_type m produces a string based representation of * X86 ABI relocation type m.