Module Abi_amd64_symbol_tableSource

abi_amd64_symbol_table, AMD64 ABI specific definitions for the ELF symbol * table.

AMD64 specific symbol types. See doc/ifunc.txt and Section 4.3 of the * ABI.

Sourceval string_of_abi_amd64_symbol_type : Nat_big_num.num -> string

string_of_abi_amd64_symbol_type m produces a string based representation * of AMD64 symbol type m.