package linksem
Install
Dune Dependency
Authors
Maintainers
Sources
md5=2075c56715539b3b8f54ae65cc808b8c
sha512=f7c16e4036a1440a6a8d13707a43f0f9f9db0c68489215f948cc300b6a164dba5bf852e58f89503e9d9f38180ee658d9478156ca1a1ef64d6861eec5f9cf43d2
doc/linksem_zarith/Auxv/index.html
Module AuxvSource
End of vector
End of vector
Entry should be ignored
Entry should be ignored
File descriptor of program
File descriptor of program
Program headers for program
Program headers for program
Size of program header entry
Size of program header entry
Number of program headers
Number of program headers
System page size
System page size
Base address of interpreter
Base address of interpreter
Flags
Flags
Entry point of program
Entry point of program
Program is not ELF
Program is not ELF
Real uid
Real uid
Effective uid
Effective uid
Real gid
Real gid
Effective gid
Effective gid
Frequency of times()
Frequency of times()
String identifying platform.
String identifying platform.
Machine-dependent hints about processor capabilities.
Machine-dependent hints about processor capabilities.
Used FPU control word.
Used FPU control word.
Data cache block size.
Data cache block size.
Instruction cache block size.
Instruction cache block size.
Unified cache block size.
Unified cache block size.
Entry should be ignored.
Entry should be ignored.
Boolean, was exec setuid-like?
Boolean, was exec setuid-like?
String identifying real platforms.
String identifying real platforms.
Address of 16 random bytes.
Address of 16 random bytes.
More machine-dependent hints about processor capabilities.
More machine-dependent hints about processor capabilities.
Filename of executable.
Filename of executable.
type 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