package linksem
-
linksem_zarith
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package linksem
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
abi_aarch64_program_header_table, AARCH64 ABI specific program header * table related flags, data, etc.
AARCH64 specific segment types. See Section 5.1
val abi_aarch64_pt_archext : Nat_big_num.numReserved for architecture compatibility information.
Reserved for unwind information.
val abi_aarch64_pt_unwind : Nat_big_num.numReserved for unwind information.
val string_of_abi_aarch64_segment_type : Nat_big_num.num -> stringstring_of_abi_aarch64_segment_type m produces a string representation of * an AARCH64 ABI segment type.