package linksem
-
linksem_zarith
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package linksem
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val all_common_symbols :
Abis.any_abi_feature Memory_image.annotated_memory_image ->
Memory_image.symbol_definition listval def_is_in_reloc : (Linkable_list.linkable_object * 'a * 'b) -> boolval retrieve_binding_for_ref :
'b Lem_basic_classes.eq_class ->
Memory_image.symbol_reference_and_reloc_site ->
'b ->
'a ->
(string, ('e * (('b * Memory_image.symbol_reference * 'd) * 'c)) list)
Pmap.map ->
('b * Memory_image.symbol_reference * 'd) * 'ctype reloc_site_resolution =
Memory_image.reloc_site * Linkable_list.binding * Memory_image.reloc_decisionval mark_fate_of_relocs :
Nat_big_num.num ->
'a Memory_image.abi ->
Command_line.link_option Pset.set ->
(string,
('b
* ((Nat_big_num.num
* Memory_image.symbol_reference
* Linkable_list.linkable_item)
* (Nat_big_num.num
* Memory_image.symbol_definition
* Linkable_list.linkable_item)
option))
list)
Pmap.map ->
'c ->
Abis.any_abi_feature Memory_image.annotated_memory_image ->
(Memory_image.reloc_site
* ((Nat_big_num.num
* Memory_image.symbol_reference
* (Linkable_list.linkable_object
* Input_list.input_item
* Input_list.input_options))
* (Nat_big_num.num
* Memory_image.symbol_definition
* (Linkable_list.linkable_object
* Input_list.input_item
* Input_list.input_options))
option)
* Memory_image.reloc_decision)
list
* Abis.any_abi_feature Memory_image.annotated_memory_imageval strip_metadata_sections :
(Memory_image.reloc_site * 'a * Memory_image.reloc_decision) list ->
Abis.any_abi_feature Memory_image.abi ->
Abis.any_abi_feature Memory_image.annotated_memory_image ->
Abis.any_abi_feature Memory_image.annotated_memory_imageval expand_sections_for_one_image :
Abis.any_abi_feature Memory_image.abi ->
Command_line.link_option Pset.set ->
(string,
('a
* ((Nat_big_num.num
* Memory_image.symbol_reference
* Linkable_list.linkable_item)
* (Nat_big_num.num
* Memory_image.symbol_definition
* Linkable_list.linkable_item)
option))
list)
Pmap.map ->
Nat_big_num.num ->
(Linkable_list.linkable_object
* (string * 'b * ('c * Input_list.origin_coord list))
* 'd) ->
bool ->
(Memory_image.reloc_site
* Linkable_list.binding
* Memory_image.reloc_decision)
list
* Abis.any_abi_feature Memory_image.annotated_memory_image
* Linker_script.input_spec listtype reloc_resolution =
Memory_image.reloc_site * Linkable_list.binding * Memory_image.reloc_decisionval default_merge_generated :
Abis.any_abi_feature Memory_image.abi ->
Elf_memory_image.elf_memory_image ->
Linker_script.input_spec list list ->
Linker_script.input_spec list listval expand_sections_for_all_inputs :
Abis.any_abi_feature Memory_image.abi ->
Command_line.link_option Pset.set ->
(string,
('a
* ((Nat_big_num.num
* Memory_image.symbol_reference
* Linkable_list.linkable_item)
* (Nat_big_num.num
* Memory_image.symbol_definition
* Linkable_list.linkable_item)
option))
list)
Pmap.map ->
(Abis.any_abi_feature Memory_image.abi ->
Abis.any_abi_feature Memory_image.annotated_memory_image ->
Linker_script.input_spec list list ->
Linker_script.input_spec list list) ->
(Nat_big_num.num
* (Linkable_list.linkable_object
* (string * 'b * ('c * Input_list.origin_coord list))
* 'd))
list ->
((Memory_image.reloc_site
* Linkable_list.binding
* Memory_image.reloc_decision)
list
* Abis.any_abi_feature Memory_image.annotated_memory_image
* Linker_script.input_spec list)
listval relocate_output_image :
Abis.any_abi_feature Memory_image.abi ->
'a ->
Abis.any_abi_feature Memory_image.annotated_memory_image ->
Abis.any_abi_feature Memory_image.annotated_memory_imageval link :
(Linker_script.address_expr_fn_ref,
Nat_big_num.num ->
Linker_script.allocated_sections_map ->
Nat_big_num.num)
Pmap.map ->
Linker_script.script_element list ->
Abis.any_abi_feature Memory_image.abi ->
Command_line.link_option Pset.set ->
Linkable_list.linkable_item list ->
Abis.any_abi_feature Memory_image.annotated_memory_image