Source file `abi_amd64_symbol_table.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
(*Generated by Lem from abis/amd64/abi_amd64_symbol_table.lem.*)
(** [abi_amd64_symbol_table], AMD64 ABI specific definitions for the ELF symbol
  * table.
  *)

open Lem_basic_classes
open Lem_num
open Gnu_ext_abi

(** AMD64 specific symbol types.  See doc/ifunc.txt and Section 4.3 of the
  * ABI.
  *)

(** [string_of_abi_amd64_symbol_type m] produces a string based representation
  * of AMD64 symbol type [m].
  *)
(*val string_of_abi_amd64_symbol_type : natural -> string*)
let string_of_abi_amd64_symbol_type m:string=
   (if Nat_big_num.equal m stt_gnu_ifunc then
    "GNU_IFUNC"
  else
    "Invalid AMD64 symbol type")