linksem 0.7 · OCaml Package

type elf32_relocation = {

elf32_r_offset : Uint32_wrapper.uint32;
elf32_r_info : Uint32_wrapper.uint32;

}

type elf32_relocation_a = {

elf32_ra_offset : Uint32_wrapper.uint32;
elf32_ra_info : Uint32_wrapper.uint32;
elf32_ra_addend : Stdlib.Int32.t;

}

type elf64_relocation = {

elf64_r_offset : Uint64_wrapper.uint64;
elf64_r_info : Uint64_wrapper.uint64;

}

type elf64_relocation_a = {

elf64_ra_offset : Uint64_wrapper.uint64;
elf64_ra_info : Uint64_wrapper.uint64;
elf64_ra_addend : Stdlib.Int64.t;

}

val elf64_relocation_a_compare : 
  elf64_relocation_a ->
  elf64_relocation_a ->
  int

val instance_Basic_classes_Ord_Elf_relocation_elf64_relocation_a_dict : 
  elf64_relocation_a Lem_basic_classes.ord_class

val read_elf32_relocation : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (elf32_relocation * Byte_sequence_wrapper.byte_sequence) Error.error

val read_elf64_relocation : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (elf64_relocation * Byte_sequence_wrapper.byte_sequence) Error.error

val read_elf32_relocation_a : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (elf32_relocation_a * Byte_sequence_wrapper.byte_sequence) Error.error

val read_elf64_relocation_a : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (elf64_relocation_a * Byte_sequence_wrapper.byte_sequence) Error.error

val read_elf32_relocation_section' : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  elf32_relocation list Error.error

val read_elf64_relocation_section' : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  elf64_relocation list Error.error

val read_elf32_relocation_a_section' : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  elf32_relocation_a list Error.error

val read_elf64_relocation_a_section' : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  elf64_relocation_a list Error.error

val read_elf32_relocation_section : 
  Nat_big_num.num ->
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (elf32_relocation list * Byte_sequence_wrapper.byte_sequence) Error.error

val read_elf64_relocation_section : 
  Nat_big_num.num ->
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (elf64_relocation list * Byte_sequence_wrapper.byte_sequence) Error.error

val read_elf32_relocation_a_section : 
  Nat_big_num.num ->
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (elf32_relocation_a list * Byte_sequence_wrapper.byte_sequence) Error.error

val read_elf64_relocation_a_section : 
  Nat_big_num.num ->
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (elf64_relocation_a list * Byte_sequence_wrapper.byte_sequence) Error.error

package linksem