Source file abi_power64_section_header_table.ml

(*Generated by Lem from abis/power64/abi_power64_section_header_table.lem.*)
(** [abi_power64_section_header_table] contains Power64 ABI specific definitions
  * related to the section header table.
  *)

open Lem_map
open Lem_num

open Elf_section_header_table

(** Special sections. *)

(** See Section 4.2 *)

(*val abi_power64_special_sections : Map.map string (natural * natural)*)
let abi_power64_special_sections:((string),(Nat_big_num.num*Nat_big_num.num))Pmap.map=
   (Lem_map.fromList (instance_Map_MapKeyType_var_dict
   Lem_basic_classes.instance_Basic_classes_SetType_var_dict) [
    (".glink", (sht_progbits, Nat_big_num.add shf_alloc shf_execinstr))
  ; (".got", (sht_progbits, Nat_big_num.add shf_alloc shf_write))
  ; (".toc", (sht_progbits, Nat_big_num.add shf_alloc shf_write))
  ; (".tocbss", (sht_nobits, Nat_big_num.add shf_alloc shf_write))
  ; (".plt", (sht_nobits, Nat_big_num.add shf_alloc shf_write))
  ])