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
val at_null : Nat_big_num.numEnd of vector
val at_ignore : Nat_big_num.numEnd of vector
Entry should be ignored
val at_execfd : Nat_big_num.numEntry should be ignored
File descriptor of program
val at_phdr : Nat_big_num.numFile descriptor of program
Program headers for program
val at_phent : Nat_big_num.numProgram headers for program
Size of program header entry
val at_phnum : Nat_big_num.numSize of program header entry
Number of program headers
val at_pagesz : Nat_big_num.numNumber of program headers
System page size
val at_base : Nat_big_num.numSystem page size
Base address of interpreter
val at_flags : Nat_big_num.numBase address of interpreter
Flags
val at_entry : Nat_big_num.numFlags
Entry point of program
val at_notelf : Nat_big_num.numEntry point of program
Program is not ELF
val at_uid : Nat_big_num.numProgram is not ELF
Real uid
val at_euid : Nat_big_num.numReal uid
Effective uid
val at_gid : Nat_big_num.numEffective uid
Real gid
val at_egid : Nat_big_num.numReal gid
Effective gid
val at_clktck : Nat_big_num.numEffective gid
Frequency of times()
val at_platform : Nat_big_num.numFrequency of times()
String identifying platform.
val at_hwcap : Nat_big_num.numString identifying platform.
Machine-dependent hints about processor capabilities.
val at_fpucw : Nat_big_num.numMachine-dependent hints about processor capabilities.
Used FPU control word.
val at_dcachebsize : Nat_big_num.numUsed FPU control word.
Data cache block size.
val at_icachebsize : Nat_big_num.numData cache block size.
Instruction cache block size.
val at_ucachebsize : Nat_big_num.numInstruction cache block size.
Unified cache block size.
val at_ignoreppc : Nat_big_num.numUnified cache block size.
Entry should be ignored.
val at_secure : Nat_big_num.numEntry should be ignored.
Boolean, was exec setuid-like?
val at_base_platform : Nat_big_num.numBoolean, was exec setuid-like?
String identifying real platforms.
val at_random : Nat_big_num.numString identifying real platforms.
Address of 16 random bytes.
val at_hwcap2 : Nat_big_num.numAddress of 16 random bytes.
More machine-dependent hints about processor capabilities.
val at_execfn : Nat_big_num.numMore machine-dependent hints about processor capabilities.
Filename of executable.
val at_sysinfo : Nat_big_num.numFilename of executable.
val at_sysinfo_ehdr : Nat_big_num.numtype elf64_auxv = {elf64_auxv_type : Uint64_wrapper.uint64;elf64_auxv_value : Uint64_wrapper.uint64;
}Auxiliary vector
type elf64_siginfo = {elf64_si_signo : Uint64_wrapper.uint64;elf64_si_code : Uint64_wrapper.uint64;elf64_si_errno : Uint64_wrapper.uint64;
}val read_elf64_auxv :
Endianness.endianness ->
Byte_sequence_wrapper.byte_sequence ->
(elf64_auxv * Byte_sequence_wrapper.byte_sequence) Error.errorval read_all_elf64_auxv :
Endianness.endianness ->
Byte_sequence_wrapper.byte_sequence ->
elf64_auxv list Error.errorval find_elf64_auxv_value :
elf64_auxv list ->
Nat_big_num.num ->
Nat_big_num.num option Error.error