package linksem

You can search for identifiers within the package.

in-package search v0.2.0

package linksem

linksem

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Auxv`Source

Sourceval at_null : Nat_big_num.num

End of vector

Sourceval at_ignore : Nat_big_num.num

End of vector

Entry should be ignored

Sourceval at_execfd : Nat_big_num.num

Entry should be ignored

File descriptor of program

Sourceval at_phdr : Nat_big_num.num

File descriptor of program

Program headers for program

Sourceval at_phent : Nat_big_num.num

Program headers for program

Size of program header entry

Sourceval at_phnum : Nat_big_num.num

Size of program header entry

Number of program headers

Sourceval at_pagesz : Nat_big_num.num

Number of program headers

System page size

Sourceval at_base : Nat_big_num.num

System page size

Base address of interpreter

Sourceval at_flags : Nat_big_num.num

Base address of interpreter

Flags

Sourceval at_entry : Nat_big_num.num

Flags

Entry point of program

Sourceval at_notelf : Nat_big_num.num

Entry point of program

Program is not ELF

Sourceval at_uid : Nat_big_num.num

Program is not ELF

Real uid

Sourceval at_euid : Nat_big_num.num

Real uid

Effective uid

Sourceval at_gid : Nat_big_num.num

Effective uid

Real gid

Sourceval at_egid : Nat_big_num.num

Real gid

Effective gid

Sourceval at_clktck : Nat_big_num.num

Effective gid

Frequency of times()

Sourceval at_platform : Nat_big_num.num

Frequency of times()

String identifying platform.

Sourceval at_hwcap : Nat_big_num.num

String identifying platform.

Machine-dependent hints about processor capabilities.

Sourceval at_fpucw : Nat_big_num.num

Machine-dependent hints about processor capabilities.

Used FPU control word.

Sourceval at_dcachebsize : Nat_big_num.num

Used FPU control word.

Data cache block size.

Sourceval at_icachebsize : Nat_big_num.num

Data cache block size.

Instruction cache block size.

Sourceval at_ucachebsize : Nat_big_num.num

Instruction cache block size.

Unified cache block size.

Sourceval at_ignoreppc : Nat_big_num.num

Unified cache block size.

Entry should be ignored.

Sourceval at_secure : Nat_big_num.num

Entry should be ignored.

Boolean, was exec setuid-like?

Sourceval at_base_platform : Nat_big_num.num

Boolean, was exec setuid-like?

String identifying real platforms.

Sourceval at_random : Nat_big_num.num

String identifying real platforms.

Address of 16 random bytes.

Sourceval at_hwcap2 : Nat_big_num.num

Address of 16 random bytes.

More machine-dependent hints about processor capabilities.

Sourceval at_execfn : Nat_big_num.num

More machine-dependent hints about processor capabilities.

Filename of executable.

Sourceval at_sysinfo : Nat_big_num.num

Filename of executable.

Sourceval at_sysinfo_ehdr : Nat_big_num.num

Sourcetype elf64_auxv = {

elf64_auxv_type : Uint64_wrapper.uint64;
elf64_auxv_value : Uint64_wrapper.uint64;

}

Auxiliary vector

Sourcetype elf64_siginfo = {

elf64_si_signo : Uint64_wrapper.uint64;
elf64_si_code : Uint64_wrapper.uint64;
elf64_si_errno : Uint64_wrapper.uint64;

}

Sourcetype elf64_prstatus = {

elf64_pr_info : elf64_siginfo;

}

Source

val read_elf64_auxv : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (elf64_auxv * Byte_sequence_wrapper.byte_sequence) Error.error

Source

val read_all_elf64_auxv : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  elf64_auxv list Error.error

Source

val find_elf64_auxv_value : 
  elf64_auxv list ->
  Nat_big_num.num ->
  Nat_big_num.num option Error.error

package linksem

Module AuxvSource

Module `Auxv`Source