package linksem

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val at_null : Nat_big_num.num

End of vector

val at_ignore : Nat_big_num.num

End of vector

Entry should be ignored

val at_execfd : Nat_big_num.num

Entry should be ignored

File descriptor of program

val at_phdr : Nat_big_num.num

File descriptor of program

Program headers for program

val at_phent : Nat_big_num.num

Program headers for program

Size of program header entry

val at_phnum : Nat_big_num.num

Size of program header entry

Number of program headers

val at_pagesz : Nat_big_num.num

Number of program headers

System page size

val at_base : Nat_big_num.num

System page size

Base address of interpreter

val at_flags : Nat_big_num.num

Base address of interpreter

Flags

val at_entry : Nat_big_num.num

Flags

Entry point of program

val at_notelf : Nat_big_num.num

Entry point of program

Program is not ELF

val at_uid : Nat_big_num.num

Program is not ELF

Real uid

val at_euid : Nat_big_num.num

Real uid

Effective uid

val at_gid : Nat_big_num.num

Effective uid

Real gid

val at_egid : Nat_big_num.num

Real gid

Effective gid

val at_clktck : Nat_big_num.num

Effective gid

Frequency of times()

val at_platform : Nat_big_num.num

Frequency of times()

String identifying platform.

val at_hwcap : Nat_big_num.num

String identifying platform.

Machine-dependent hints about processor capabilities.

val at_fpucw : Nat_big_num.num

Machine-dependent hints about processor capabilities.

Used FPU control word.

val at_dcachebsize : Nat_big_num.num

Used FPU control word.

Data cache block size.

val at_icachebsize : Nat_big_num.num

Data cache block size.

Instruction cache block size.

val at_ucachebsize : Nat_big_num.num

Instruction cache block size.

Unified cache block size.

val at_ignoreppc : Nat_big_num.num

Unified cache block size.

Entry should be ignored.

val at_secure : Nat_big_num.num

Entry should be ignored.

Boolean, was exec setuid-like?

val at_base_platform : Nat_big_num.num

Boolean, was exec setuid-like?

String identifying real platforms.

val at_random : Nat_big_num.num

String identifying real platforms.

Address of 16 random bytes.

val at_hwcap2 : Nat_big_num.num

Address of 16 random bytes.

More machine-dependent hints about processor capabilities.

val at_execfn : Nat_big_num.num

More machine-dependent hints about processor capabilities.

Filename of executable.

val at_sysinfo : Nat_big_num.num

Filename of executable.

val at_sysinfo_ehdr : Nat_big_num.num
type elf64_auxv = {
  1. elf64_auxv_type : Uint64_wrapper.uint64;
  2. elf64_auxv_value : Uint64_wrapper.uint64;
}

Auxiliary vector

type elf64_siginfo = {
  1. elf64_si_signo : Uint64_wrapper.uint64;
  2. elf64_si_code : Uint64_wrapper.uint64;
  3. elf64_si_errno : Uint64_wrapper.uint64;
}
type elf64_prstatus = {
  1. elf64_pr_info : elf64_siginfo;
}
val find_elf64_auxv_value : elf64_auxv list -> Nat_big_num.num -> Nat_big_num.num option Error.error
OCaml

Innovation. Community. Security.