summaryrefslogtreecommitdiff
path: root/lib/elf.sail
blob: 6ea5de199f35867d478ec4c4459a779fee5a128a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
$ifndef _ELF
$define _ELF

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

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

$endif