Module Abi_mips64_symbol_tableSource

abi_mips64_symbol_table, MIPS64 ABI specific definitions for the ELF symbol * table.

MIPS64 specific symbol types. See doc/ifunc.txt and Section XXX FIXME of the * ABI.

Sourceval string_of_abi_mips64_symbol_type : Nat_big_num.num -> string

string_of_abi_mips64_symbol_type m produces a string based representation * of MIPS64 symbol type m.