/seL4-test-master/projects/util_libs/libelf/include/elf/ |
H A D | elf32.h | 84 #include <elf/elf.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) argument 95 return elf->elfClass == ELFCLASS32; 98 static inline Elf32_Ehdr elf32_getHeader(elf_t *elf) argument 100 return *(Elf32_Ehdr *) elf->elfFile; 103 static inline uintptr_t elf32_getEntryPoint(elf_t *elf) argument 113 elf32_getSectionTable(elf_t *elf) argument 118 elf32_getNumProgramHeaders(elf_t *elf) argument 123 elf32_getNumSections(elf_t *elf) argument 128 elf32_getSectionStringTableIndex(elf_t *elf) argument 135 elf32_getSectionNameOffset(elf_t *elf, size_t s) argument 140 elf32_getSectionType(elf_t *elf, size_t i) argument 145 elf32_getSectionFlags(elf_t *elf, size_t i) argument 150 elf32_getSectionAddr(elf_t *elf, size_t i) argument 155 elf32_getSectionOffset(elf_t *elf, size_t i) argument 160 elf32_getSectionSize(elf_t *elf, size_t i) argument 165 elf32_getSectionLink(elf_t *elf, size_t i) argument 170 elf32_getSectionInfo(elf_t *elf, size_t i) argument 175 elf32_getSectionAddrAlign(elf_t *elf, size_t i) argument 180 elf32_getSectionEntrySize(elf_t *elf, size_t i) argument [all...] |
H A D | elf64.h | 84 #include <elf/elf.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) argument 95 return elf->elfClass == ELFCLASS64; 98 static inline Elf64_Ehdr elf64_getHeader(elf_t *elf) argument 100 return *(Elf64_Ehdr *) elf->elfFile; 123 static inline size_t elf64_getNumSections(elf_t *elf) argument 128 elf64_getSectionStringTableIndex(elf_t *elf) argument 135 elf64_getSectionNameOffset(elf_t *elf, size_t s) argument 150 elf64_getSectionAddr(elf_t *elf, size_t i) argument 155 elf64_getSectionOffset(elf_t *elf, size_t i) argument 160 elf64_getSectionSize(elf_t *elf, size_t i) argument 165 elf64_getSectionLink(elf_t *elf, size_t i) argument 170 elf64_getSectionInfo(elf_t *elf, size_t i) argument 175 elf64_getSectionAddrAlign(elf_t *elf, size_t i) argument 180 elf64_getSectionEntrySize(elf_t *elf, size_t i) argument [all...] |
H A D | elf.h | 108 #include <elf.h> 110 struct elf { struct 115 typedef struct elf elf_t; 224 * @param elf Pointer to a valid ELF structure. 228 size_t elf_getSectionStringTableIndex(elf_t *elf); 390 * @param elf Pointer to a valid ELF structure 395 void *elf_getProgramSegment(elf_t *elf, size_t ph);
|
/seL4-test-master/projects/util_libs/libelf/src/ |
H A D | elf64.c | 81 #include <elf/elf.h> 82 #include <elf/elf64.h> 87 int elf64_checkFile(elf_t *elf) argument 93 if (elf->elfSize < sizeof(Elf64_Ehdr)) { 97 if (elf_check_magic(elf->elfFile) < 0) { 101 Elf64_Ehdr *header = elf->elfFile; 118 elf->elfClass = header->e_ident[EI_CLASS]; 119 return 0; /* elf header looks OK */ 122 int elf64_checkProgramHeaderTable(elf_t *elf) argument 133 elf64_checkSectionTable(elf_t *elf) argument [all...] |
H A D | elf32.c | 81 #include <elf/elf.h> 82 #include <elf/elf32.h> 87 int elf32_checkFile(elf_t *elf) argument 89 if (elf->elfSize < sizeof(Elf32_Ehdr)) { 93 if (elf_check_magic(elf->elfFile) < 0) { 97 Elf32_Ehdr *header = elf->elfFile; 114 elf->elfClass = header->e_ident[EI_CLASS]; 115 return 0; /* elf header looks OK */ 118 int elf32_checkProgramHeaderTable(elf_t *elf) argument 129 elf32_checkSectionTable(elf_t *elf) argument [all...] |
H A D | elf.c | 81 #include <elf/elf.h> 82 #include <elf/elf32.h> 83 #include <elf/elf64.h> 136 * Checks that elfFile points to a valid elf file. Returns 0 if the elf 199 size_t elf_getSectionStringTableIndex(elf_t *elf) argument 201 if (elf_isElf32(elf)) { 202 return elf32_getSectionStringTableIndex(elf); 204 return elf64_getSectionStringTableIndex(elf); 208 elf_getStringTable(elf_t *elf, size_t string_segment) argument 227 elf_getSectionStringTable(elf_t *elf) argument 235 elf_getSection(elf_t *elf, size_t i) argument 270 elf_getSectionName(elf_t *elf, size_t i) argument 376 elf_getProgramSegment(elf_t *elf, size_t ph) argument 519 elf_loadFile(elf_t *elf, elf_addr_type_t addr_type) argument [all...] |
/seL4-test-master/projects/musllibc/include/sys/ |
H A D | auxv.h | 8 #include <elf.h>
|
/seL4-test-master/kernel/src/arch/x86/64/kernel/ |
H A D | elf.c | 7 #include <arch/kernel/elf.h> 10 BOOT_CODE bool_t elf_checkFile(Elf64_Header_t *elf) argument 13 elf->e_ident[0] == '\177' && 14 elf->e_ident[1] == 'E' && 15 elf->e_ident[2] == 'L' && 16 elf->e_ident[3] == 'F' && 17 elf->e_ident[4] == 2 22 BOOT_CODE v_region_t elf_getMemoryBounds(Elf64_Header_t *elf) argument 28 Elf64_Phdr_t *phdr = (Elf64_Phdr_t *)((paddr_t)elf + elf 49 elf_load(Elf64_Header_t *elf, seL4_Word offset) argument [all...] |
/seL4-test-master/projects/sel4runtime/include/mode/32/sel4runtime/mode/ |
H A D | elf.h | 12 #include <sel4runtime/elf.h> 15 // The elf header is a different structure depending on the word size of 16 // the elf.
|
/seL4-test-master/projects/sel4runtime/include/mode/64/sel4runtime/mode/ |
H A D | elf.h | 12 #include <sel4runtime/elf.h> 16 // The elf header is a different structure depending on the word size of 17 // the elf.
|
/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | elf.h | 20 #include <elf/elf.h> 33 /* These two vstarts may differ if the elf was not mapped 1to1. Such an elf is not 35 * This is also as reported by the elf file. */ 39 /* Size of the elf segment as reported by elf file */ 45 /* Index of this elf segment in the section header */ 50 * Load an elf file into a vspace. 59 * @param loadee the vspace to load the elf fil [all...] |
/seL4-test-master/projects/sel4runtime/include/sel4runtime/ |
H A D | start.h | 15 #include <sel4runtime/elf.h> 16 #include <sel4runtime/mode/elf.h>
|
/seL4-test-master/kernel/include/arch/x86/arch/kernel/ |
H A D | elf.h | 10 #include <mode/kernel/elf.h>
|
/seL4-test-master/tools/seL4/cmake-tool/helpers/ |
H A D | elf_sift.py | 14 import elftools.elf.elffile namespace 37 elf = elftools.elf.elffile.ELFFile(elf_file) 42 # important for the BSS section. See elf(5). 43 total = sum([seg['p_memsz'] for seg in elf.iter_segments() 78 regions = [get_memory_usage_from_file(elf, args.align) 79 for elf in args.elf_file]
|
H A D | shoehorn.py | 151 if name == 'kernel.elf': 201 for elf in rootservers: 202 marker += elf_sift.get_memory_usage(elf, align=True)
|
/seL4-test-master/tools/seL4/elfloader-tool/src/ |
H A D | common.c | 14 #include <binaries/elf/elf.h> 81 static void unpack_elf_to_paddr(void *elf, paddr_t dest_paddr) argument 90 elf_getMemoryBounds(elf, 0, &min_vaddr, &max_vaddr); 98 for (i = 0; i < elf_getNumProgramHeaders(elf); i++) { 103 if (elf_getProgramHeaderType(elf, i) != PT_LOAD) { 108 dest_vaddr = elf_getProgramHeaderVaddr(elf, i); 109 data_size = elf_getProgramHeaderFileSize(elf, i); 110 data_offset = elf_getProgramHeaderOffset(elf, i); 114 (char *)elf 118 rounded_image_size(void *elf, uint64_t *min_vaddr, uint64_t *max_vaddr) argument 130 load_elf(const char *name, void *elf, paddr_t dest_paddr, struct image_info *info, int keep_headers, __attribute__((unused)) unsigned long size, __attribute__((unused)) const char *hash) argument [all...] |
/seL4-test-master/tools/seL4/elfloader-tool/src/binaries/efi/gnuefi/ |
H A D | reloc_arm.c | 43 #include <binaries/elf/elf.h> 44 #include <binaries/elf/elf32.h>
|
H A D | reloc_aarch64.c | 43 #include <binaries/elf/elf.h> 44 #include <binaries/elf/elf64.h>
|
/seL4-test-master/projects/musllibc/src/thread/sh/ |
H A D | __set_thread_area.c | 3 #include <elf.h>
|
/seL4-test-master/projects/musllibc/include/ |
H A D | link.h | 8 #include <elf.h>
|
/seL4-test-master/projects/sel4test/apps/sel4test-driver/include/ |
H A D | test_init_data.h | 18 #include <sel4utils/elf.h> 76 /* List of elf regions in the test process image, this 84 /* the number of elf regions */
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/include/ |
H A D | test_init_data.h | 18 #include <sel4utils/elf.h> 76 /* List of elf regions in the test process image, this 84 /* the number of elf regions */
|
/seL4-test-master/projects/musllibc/src/thread/arm/ |
H A D | __set_thread_area.c | 2 #include <elf.h>
|
/seL4-test-master/projects/musllibc/src/internal/ |
H A D | dynlink.h | 5 #include <elf.h>
|
/seL4-test-master/projects/musllibc/src/ldso/ |
H A D | dl_iterate_phdr.c | 1 #include <elf.h>
|