package libsail

  1. Overview
  2. Docs

Module Libsail.Elf_loaderSource

module Big_int = Nat_big_num
Sourceval opt_elf_threads : int ref
Sourceval opt_elf_entry : Big_int.num ref
Sourceval opt_elf_tohost : Big_int.num ref
Sourcetype elf_class =
  1. | ELF_Class_64
  2. | ELF_Class_32
Sourceval opt_elf_class : elf_class ref
Sourceval opt_symbol_map : Elf_file.global_symbol_init_info ref
Sourcetype word8 = int
Sourceval escape_char : char -> char
Sourceval hex_line : char list -> string
Sourceval break : Nat_num.nat -> 'a list -> 'a list list
Sourceval print_segment : Byte_sequence_wrapper.byte_sequence -> unit
Sourcetype elf_segs =
  1. | ELF64 of Elf_interpreted_segment.elf64_interpreted_segment list
  2. | ELF32 of Elf_interpreted_segment.elf32_interpreted_segment list
Sourceval read : string -> elf_segs * Nat_big_num.num * Elf_file.global_symbol_init_info
Sourceval write_sail_lib : Big_int.num -> int -> int -> unit
Sourceval write_mem_zeros : Big_int.num -> Big_int.num -> unit
Sourceval write_file : out_channel -> Big_int.num -> int -> int -> unit
Sourceval print_seg_info : Big_int.num -> Big_int.num -> Big_int.num -> Big_int.num -> Big_int.num -> unit
Sourceval load_segment : ?writer:??? -> Byte_sequence_wrapper.byte_sequence -> Big_int.num -> Big_int.num -> Big_int.num -> Big_int.num -> Big_int.num -> unit
Sourceval load_elf : ?writer:??? -> string -> unit
Sourceval load_binary : ?writer:??? -> Big_int.num -> string -> unit
Sourceval elf_entry : unit -> Big_int.num
Sourceval elf_tohost : unit -> Big_int.num
Sourceval elf_class : unit -> elf_class
Sourceval elf_symbol : string -> Nat_big_num.num option
Sourceval elf_symbols : unit -> Elf_file.global_symbol_init_info