linksem_zarith
Abi_aarch64_symbol_table
abi_aarch64_symbol_table, symbol table specific defintions for the AARCH64 * ABI.
abi_aarch64_symbol_table
linksem_num
val is_aarch64_weak_reference : Elf_symbol_table.elf64_symbol_table_entry -> bool
Two types of weak symbol are defined in the AARCH64 ABI. See Section 4.5.
val is_aarch64_weak_definition : Elf_symbol_table.elf64_symbol_table_entry -> bool