linksem
  1. Overview
  2. Docs
package linksem
Legend:
Library
Module
Module type
Parameter
Class
Class type
type elf32_note = {
  1. elf32_note_namesz : Uint32_wrapper.uint32;
  2. elf32_note_descsz : Uint32_wrapper.uint32;
  3. elf32_note_type : Uint32_wrapper.uint32;
  4. elf32_note_name : Byte_sequence.byte_sequence0;
  5. elf32_note_desc : Byte_sequence.byte_sequence0;
}
type elf64_note = {
  1. elf64_note_namesz : Uint32_wrapper.uint32;
  2. elf64_note_descsz : Uint32_wrapper.uint32;
  3. elf64_note_type : Uint32_wrapper.uint32;
  4. elf64_note_name : Byte_sequence.byte_sequence0;
  5. elf64_note_desc : Byte_sequence.byte_sequence0;
}
val nt_prstatus : Nat_big_num.num
val nt_fpregset : Nat_big_num.num
val nt_prpsinfo : Nat_big_num.num
val nt_prxreg : Nat_big_num.num
val nt_taskstruct : Nat_big_num.num
val nt_platform : Nat_big_num.num
val nt_auxv : Nat_big_num.num
val nt_gwindows : Nat_big_num.num
val nt_asrs : Nat_big_num.num
val nt_pstatus : Nat_big_num.num
val nt_psinfo : Nat_big_num.num
val nt_prcred : Nat_big_num.num
val nt_utsname : Nat_big_num.num
val nt_lwpstatus : Nat_big_num.num
val nt_lwpsinfo : Nat_big_num.num
val nt_prfpxreg : Nat_big_num.num
val nt_siginfo : Nat_big_num.num
val nt_file : Nat_big_num.num
val nt_prxfpreg : Nat_big_num.num
val nt_ppc_vmx : Nat_big_num.num
val nt_ppc_spe : Nat_big_num.num
val nt_ppc_vsx : Nat_big_num.num
val nt_ppc_tar : Nat_big_num.num
val nt_ppc_ppr : Nat_big_num.num
val nt_ppc_dscr : Nat_big_num.num
val nt_ppc_ebb : Nat_big_num.num
val nt_ppc_pmu : Nat_big_num.num
val nt_ppc_tm_cgpr : Nat_big_num.num
val nt_ppc_tm_cfpr : Nat_big_num.num
val nt_ppc_tm_cvmx : Nat_big_num.num
val nt_ppc_tm_cvsx : Nat_big_num.num
val nt_ppc_tm_spr : Nat_big_num.num
val nt_ppc_tm_ctar : Nat_big_num.num
val nt_ppc_tm_cppr : Nat_big_num.num
val nt_ppc_tm_cdscr : Nat_big_num.num
val nt_386_tls : Nat_big_num.num
val nt_386_ioperm : Nat_big_num.num
val nt_x86_xstate : Nat_big_num.num
val nt_s390_high_gprs : Nat_big_num.num
val nt_s390_timer : Nat_big_num.num
val nt_s390_todcmp : Nat_big_num.num
val nt_s390_todpreg : Nat_big_num.num
val nt_s390_ctrs : Nat_big_num.num
val nt_s390_prefix : Nat_big_num.num
val nt_s390_last_break : Nat_big_num.num
val nt_s390_system_call : Nat_big_num.num
val nt_s390_tdb : Nat_big_num.num
val nt_arm_vfp : Nat_big_num.num
val nt_arm_tls : Nat_big_num.num
val nt_arm_hw_break : Nat_big_num.num
val nt_arm_hw_watch : Nat_big_num.num
val nt_arm_system_call : Nat_big_num.num
val nt_arm_sve : Nat_big_num.num
val nt_version : Nat_big_num.num
val nt_procstat_proc : Nat_big_num.num
val nt_procstat_files : Nat_big_num.num
val nt_procstat_vmmap : Nat_big_num.num
val nt_procstat_groups : Nat_big_num.num
val nt_procstat_umask : Nat_big_num.num
val nt_procstat_rlimit : Nat_big_num.num
val nt_procstat_osrel : Nat_big_num.num
val nt_procstat_psstrings : Nat_big_num.num
val nt_procstat_auxv : Nat_big_num.num
type elf64_nt_file_entry = {
  1. elf64_nt_file_entry_start : Uint64_wrapper.uint64;
  2. elf64_nt_file_entry_end : Uint64_wrapper.uint64;
  3. elf64_nt_file_entry_offset : Uint64_wrapper.uint64;
  4. elf64_nt_file_entry_filename : string;
}
type elf64_nt_file = {
  1. elf64_nt_file_count : Uint64_wrapper.uint64;
  2. elf64_nt_file_page_size : Uint64_wrapper.uint64;
  3. elf64_nt_file_entries : elf64_nt_file_entry list;
}
type elf64_nt_procstat_vmentry = {
  1. elf64_nt_procstat_vmentry_type : Uint32_wrapper.uint32;
  2. elf64_nt_procstat_vmentry_start : Uint64_wrapper.uint64;
  3. elf64_nt_procstat_vmentry_end : Uint64_wrapper.uint64;
  4. elf64_nt_procstat_vmentry_offset : Uint64_wrapper.uint64;
  5. elf64_nt_procstat_vmentry_vn_fileid : Uint64_wrapper.uint64;
  6. elf64_nt_procstat_vmentry_vn_fsid : Uint32_wrapper.uint32;
  7. elf64_nt_procstat_vmentry_flags : Uint32_wrapper.uint32;
  8. elf64_nt_procstat_vmentry_resident : Uint32_wrapper.uint32;
  9. elf64_nt_procstat_vmentry_protection : Uint32_wrapper.uint32;
  10. elf64_nt_procstat_vmentry_ref_count : Uint32_wrapper.uint32;
  11. elf64_nt_procstat_vmentry_shadow_count : Uint32_wrapper.uint32;
  12. elf64_nt_procstat_vmentry_vn_type : Uint32_wrapper.uint32;
  13. elf64_nt_procstat_vmentry_vn_size : Uint64_wrapper.uint64;
  14. elf64_nt_procstat_vmentry_vn_rdev : Uint32_wrapper.uint32;
  15. elf64_nt_procstat_vmentry_vn_mode : Uint32_wrapper.uint32;
  16. elf64_nt_procstat_vmentry_status : Uint32_wrapper.uint32;
  17. elf64_nt_procstat_vmentry_path : string;
}
val note_align : Nat_big_num.num -> Nat_big_num.num
val name_string_of_elf32_note : elf32_note -> string
val name_string_of_elf64_note : elf64_note -> string
val read_elf64_nt_file_entry : Endianness.endianness -> Byte_sequence_wrapper.byte_sequence -> string -> (elf64_nt_file_entry * Byte_sequence_wrapper.byte_sequence) Error.error
type elf64_psstrings = {
  1. elf64_psstrings_argvstr : Uint64_wrapper.uint64;
  2. elf64_psstrings_nargvstr : Uint32_wrapper.uint32;
  3. elf64_psstrings_envstr : Uint64_wrapper.uint64;
  4. elf64_psstrings_nenvstr : Uint32_wrapper.uint32;
}
type mmap_entry = {
  1. mmap_entry_start : Nat_big_num.num;
  2. mmap_entry_end : Nat_big_num.num;
  3. mmap_entry_offset : Nat_big_num.num;
  4. mmap_entry_path : string;
}
val read_nt_file_entries : Endianness.endianness -> elf64_note list -> mmap_entry list Error.error
val read_nt_procstat_vmmap : Endianness.endianness -> elf64_note list -> mmap_entry list Error.error
val read_mmap_table : Endianness.endianness -> elf64_note list -> mmap_entry list Error.error
val get_mmap_entry_at : mmap_entry list -> Nat_big_num.num -> mmap_entry option
val read_all_elf64_nt_auxv : Endianness.endianness -> elf64_note list -> Auxv.elf64_auxv list Error.error