lib/elf.sail


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

$ifndef _ELF
$define _ELF

val elf_entry = {
  ocaml: "Elf_loader.elf_entry",
  lem: "elf_entry",
  c: "elf_entry"
} : unit -> int

val elf_tohost = {
  ocaml: "Elf_loader.elf_tohost",
  lem: "elf_tohost",
  c: "elf_tohost"
} : unit -> int

$endif