/seL4-refos-master/libs/libelf/include/elf/ |
H A D | elf.h | 115 typedef struct elf elf_t; typedef in typeref:struct:elf 125 * Initialises an elf_t structure and checks that the ELF file is valid. 132 * @param res elf_t to initialise 136 int elf_newFile(void *file, size_t size, elf_t *res); 139 * Initialises and elf_t structure and checks that the ELF file is valid. 151 * @param res elf_t to initialise 155 int elf_newFile_maybe_unsafe(void *file, size_t size, bool check_pht, bool check_st, elf_t *res); 174 int elf_checkFile(elf_t *elfFile); 183 int elf_checkProgramHeaderTable(elf_t *elfFile); 192 int elf_checkSectionTable(elf_t *elfFil [all...] |
H A D | elf32.h | 87 int elf32_checkFile(elf_t *elf); 89 int elf32_checkProgramHeaderTable(elf_t *elf); 91 int elf32_checkSectionTable(elf_t *elf); 93 static inline bool elf_isElf32(elf_t *elf) 98 static inline Elf32_Ehdr elf32_getHeader(elf_t *elf) 103 static inline uintptr_t elf32_getEntryPoint(elf_t *elf) 108 static inline Elf32_Phdr *elf32_getProgramHeaderTable(elf_t *file) 113 static inline Elf32_Shdr *elf32_getSectionTable(elf_t *elf) 118 static inline size_t elf32_getNumProgramHeaders(elf_t *elf) 123 static inline size_t elf32_getNumSections(elf_t *el [all...] |
H A D | elf64.h | 87 int elf64_checkFile(elf_t *elf); 89 int elf64_checkProgramHeaderTable(elf_t *elf); 91 int elf64_checkSectionTable(elf_t *elf); 93 static inline bool elf_isElf64(elf_t *elf) 98 static inline Elf64_Ehdr elf64_getHeader(elf_t *elf) 103 static inline uintptr_t elf64_getEntryPoint(elf_t *file) 108 static inline Elf64_Phdr *elf64_getProgramHeaderTable(elf_t *file) 113 static inline Elf64_Shdr *elf64_getSectionTable(elf_t *file) 118 static inline size_t elf64_getNumProgramHeaders(elf_t *file) 123 static inline size_t elf64_getNumSections(elf_t *el [all...] |
/seL4-refos-master/projects/util_libs/libelf/include/elf/ |
H A D | elf.h | 115 typedef struct elf elf_t; typedef in typeref:struct:elf 125 * Initialises an elf_t structure and checks that the ELF file is valid. 132 * @param res elf_t to initialise 136 int elf_newFile(void *file, size_t size, elf_t *res); 139 * Initialises and elf_t structure and checks that the ELF file is valid. 151 * @param res elf_t to initialise 155 int elf_newFile_maybe_unsafe(void *file, size_t size, bool check_pht, bool check_st, elf_t *res); 174 int elf_checkFile(elf_t *elfFile); 183 int elf_checkProgramHeaderTable(elf_t *elfFile); 192 int elf_checkSectionTable(elf_t *elfFil [all...] |
H A D | elf32.h | 87 int elf32_checkFile(elf_t *elf); 89 int elf32_checkProgramHeaderTable(elf_t *elf); 91 int elf32_checkSectionTable(elf_t *elf); 93 static inline bool elf_isElf32(elf_t *elf) 98 static inline Elf32_Ehdr elf32_getHeader(elf_t *elf) 103 static inline uintptr_t elf32_getEntryPoint(elf_t *elf) 108 static inline Elf32_Phdr *elf32_getProgramHeaderTable(elf_t *file) 113 static inline Elf32_Shdr *elf32_getSectionTable(elf_t *elf) 118 static inline size_t elf32_getNumProgramHeaders(elf_t *elf) 123 static inline size_t elf32_getNumSections(elf_t *el [all...] |
H A D | elf64.h | 87 int elf64_checkFile(elf_t *elf); 89 int elf64_checkProgramHeaderTable(elf_t *elf); 91 int elf64_checkSectionTable(elf_t *elf); 93 static inline bool elf_isElf64(elf_t *elf) 98 static inline Elf64_Ehdr elf64_getHeader(elf_t *elf) 103 static inline uintptr_t elf64_getEntryPoint(elf_t *file) 108 static inline Elf64_Phdr *elf64_getProgramHeaderTable(elf_t *file) 113 static inline Elf64_Shdr *elf64_getSectionTable(elf_t *file) 118 static inline size_t elf64_getNumProgramHeaders(elf_t *file) 123 static inline size_t elf64_getNumSections(elf_t *el [all...] |
/seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | elf.h | 73 vka_t *loader_vka, elf_t *elf, sel4utils_elf_region_t *regions, int mapanywhere); 89 vka_t *loader_vka, elf_t *elf); 103 sel4utils_elf_reserve(vspace_t *loadee, elf_t *elf, sel4utils_elf_region_t *regions); 114 sel4utils_elf_num_regions(elf_t *elf); 124 uintptr_t sel4utils_elf_get_vsyscall(elf_t *elf); 137 uintptr_t sel4utils_elf_get_section(elf_t *elf, const char *section_name, uint64_t *section_size); 146 uint32_t sel4utils_elf_num_phdrs(elf_t *elf); 157 void sel4utils_elf_read_phdrs(elf_t *elf, size_t max_phdrs, Elf_Phdr *phdrs);
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | elf.h | 73 vka_t *loader_vka, elf_t *elf, sel4utils_elf_region_t *regions, int mapanywhere); 89 vka_t *loader_vka, elf_t *elf); 103 sel4utils_elf_reserve(vspace_t *loadee, elf_t *elf, sel4utils_elf_region_t *regions); 114 sel4utils_elf_num_regions(elf_t *elf); 124 uintptr_t sel4utils_elf_get_vsyscall(elf_t *elf); 137 uintptr_t sel4utils_elf_get_section(elf_t *elf, const char *section_name, uint64_t *section_size); 146 uint32_t sel4utils_elf_num_phdrs(elf_t *elf); 157 void sel4utils_elf_read_phdrs(elf_t *elf, size_t max_phdrs, Elf_Phdr *phdrs);
|
/seL4-refos-master/libs/libelf/src/ |
H A D | elf.c | 88 int elf_newFile(void *file, size_t size, elf_t *res) 93 int elf_newFile_maybe_unsafe(void *file, size_t size, bool check_pht, bool check_st, elf_t *res) 95 elf_t new_file = { 139 int elf_checkFile(elf_t *elfFile) 154 int elf_checkProgramHeaderTable(elf_t *elfFile) 163 int elf_checkSectionTable(elf_t *elfFile) 172 uintptr_t elf_getEntryPoint(elf_t *elfFile) 181 size_t elf_getNumProgramHeaders(elf_t *elfFile) 190 size_t elf_getNumSections(elf_t *elfFile) 199 size_t elf_getSectionStringTableIndex(elf_t *el [all...] |
H A D | elf64.c | 87 int elf64_checkFile(elf_t *elf) 122 int elf64_checkProgramHeaderTable(elf_t *elf) 133 int elf64_checkSectionTable(elf_t *elf)
|
H A D | elf32.c | 87 int elf32_checkFile(elf_t *elf) 118 int elf32_checkProgramHeaderTable(elf_t *elf) 129 int elf32_checkSectionTable(elf_t *elf)
|
/seL4-refos-master/projects/util_libs/libelf/src/ |
H A D | elf.c | 88 int elf_newFile(void *file, size_t size, elf_t *res) 93 int elf_newFile_maybe_unsafe(void *file, size_t size, bool check_pht, bool check_st, elf_t *res) 95 elf_t new_file = { 139 int elf_checkFile(elf_t *elfFile) 154 int elf_checkProgramHeaderTable(elf_t *elfFile) 163 int elf_checkSectionTable(elf_t *elfFile) 172 uintptr_t elf_getEntryPoint(elf_t *elfFile) 181 size_t elf_getNumProgramHeaders(elf_t *elfFile) 190 size_t elf_getNumSections(elf_t *elfFile) 199 size_t elf_getSectionStringTableIndex(elf_t *el [all...] |
H A D | elf64.c | 87 int elf64_checkFile(elf_t *elf) 122 int elf64_checkProgramHeaderTable(elf_t *elf) 133 int elf64_checkSectionTable(elf_t *elf)
|
H A D | elf32.c | 87 int elf32_checkFile(elf_t *elf) 118 int elf32_checkProgramHeaderTable(elf_t *elf) 129 int elf32_checkSectionTable(elf_t *elf)
|
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | elf.c | 172 vka_t *loadee_vka, vka_t *loader_vka, elf_t *elf_file, 192 static bool is_loadable_section(elf_t *elf_file, int index) 197 static int count_loadable_regions(elf_t *elf_file) 211 int sel4utils_elf_num_regions(elf_t *elf_file) 357 static int read_regions(elf_t *elf_file, size_t total_regions, sel4utils_elf_region_t regions[total_regions]) 423 static int elf_reserve_regions_in_vspace(vspace_t *loadee, elf_t *elf_file, 448 static void *entry_point(elf_t *elf_file) 461 void *sel4utils_elf_reserve(vspace_t *loadee, elf_t *elf_file, sel4utils_elf_region_t *regions) 478 elf_t *elf_file, sel4utils_elf_region_t *regions, int mapanywhere) 516 uintptr_t sel4utils_elf_get_vsyscall(elf_t *elf_fil [all...] |
H A D | process.c | 565 elf_t elf;
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | elf.c | 172 vka_t *loadee_vka, vka_t *loader_vka, elf_t *elf_file, 192 static bool is_loadable_section(elf_t *elf_file, int index) 197 static int count_loadable_regions(elf_t *elf_file) 211 int sel4utils_elf_num_regions(elf_t *elf_file) 357 static int read_regions(elf_t *elf_file, size_t total_regions, sel4utils_elf_region_t regions[total_regions]) 423 static int elf_reserve_regions_in_vspace(vspace_t *loadee, elf_t *elf_file, 448 static void *entry_point(elf_t *elf_file) 461 void *sel4utils_elf_reserve(vspace_t *loadee, elf_t *elf_file, sel4utils_elf_region_t *regions) 478 elf_t *elf_file, sel4utils_elf_region_t *regions, int mapanywhere) 516 uintptr_t sel4utils_elf_get_vsyscall(elf_t *elf_fil [all...] |
H A D | process.c | 565 elf_t elf;
|