/seL4-refos-master/seL4_tools/elfloader-tool/src/binaries/elf/ |
H A D | elf.c | 11 * Checks that elfFile points to a valid elf file. Returns 0 if the elf 16 elf_checkFile(void *elfFile) argument 18 return ISELF32 (elfFile) 19 ? elf32_checkFile(elfFile) 20 : elf64_checkFile(elfFile); 25 elf_getNumProgramHeaders(void *elfFile) argument 27 return ISELF32 (elfFile) 28 ? elf32_getNumProgramHeaders(elfFile) 29 : elf64_getNumProgramHeaders(elfFile); 33 elf_getProgramHeaderFlags(void *elfFile, uint16_ argument 41 elf_getProgramHeaderType(void *elfFile, uint16_t ph) argument 49 elf_getProgramHeaderPaddr(void *elfFile, uint16_t ph) argument 57 elf_getProgramHeaderVaddr(void *elfFile, uint16_t ph) argument 65 elf_getProgramHeaderMemorySize(void *elfFile, uint16_t ph) argument 73 elf_getProgramHeaderFileSize(void *elfFile, uint16_t ph) argument 81 elf_getProgramHeaderOffset(void *elfFile, uint16_t ph) argument 89 elf_getSegmentStringTable(void *elfFile) argument 97 elf_getStringTable(void *elfFile, int string_segment) argument 105 elf_getNumSections(void *elfFile) argument 113 elf_getSectionName(void *elfFile, int i) argument 121 elf_getSectionFlags(void *elfFile, int i) argument 129 elf_getSectionType(void *elfFile, int i) argument 137 elf_getSectionSize(void *elfFile, int i) argument 145 elf_getSectionAddr(void *elfFile, int i) argument 153 elf_getSection(void *elfFile, int i) argument 161 elf_getSectionNamed(void *elfFile, char *_str) argument 169 elf_getProgramHeaderInfo(void *elfFile, uint16_t ph, uint64_t *p_vaddr, uint64_t *p_paddr, uint64_t *p_filesz, uint64_t *p_offset, uint64_t *p_memsz) argument 181 elf_getEntryPoint(void *elfFile) argument 189 elf_getMemoryBounds(void *elfFile, int phys, uint64_t *min, uint64_t *max) argument 228 elf_vaddrInProgramHeader(void *elfFile, uint16_t ph, uint64_t vaddr) argument 240 elf_vtopProgramHeader(void *elfFile, uint16_t ph, uint64_t vaddr) argument 252 elf_loadFile(void *elfFile, int phys) argument [all...] |
H A D | elf32.c | 29 elf32_getNumSections(struct Elf32_Header *elfFile) argument 31 return elfFile->e_shnum; 35 elf32_getStringTable(struct Elf32_Header *elfFile) argument 37 struct Elf32_Shdr *sections = elf32_getSectionTable(elfFile); 38 return (char *)elfFile + sections[elfFile->e_shstrndx].sh_offset; 45 elf32_getProgramSegmentTable(struct Elf32_Header *elfFile) { argument 46 struct Elf32_Header *fileHdr = elfFile; 47 return (struct Elf32_Phdr *) (fileHdr->e_phoff + (long) elfFile); 52 elf32_getNumProgramHeaders(struct Elf32_Header *elfFile) argument 59 elf32_getSectionName(struct Elf32_Header *elfFile, int i) argument 71 elf32_getSectionSize(struct Elf32_Header *elfFile, int i) argument 78 elf32_getSectionAddr(struct Elf32_Header *elfFile, int i) argument 85 elf32_getSection(struct Elf32_Header *elfFile, int i) argument 92 elf32_getSectionNamed(struct Elf32_Header *elfFile, char *str) argument 105 elf32_getSegmentStringTable(struct Elf32_Header *elfFile) argument 117 elf32_printStringTable(struct Elf32_Header *elfFile) argument 140 elf32_getSegmentType(struct Elf32_Header *elfFile, int segment) argument 146 elf32_getSegmentInfo(struct Elf32_Header *elfFile, int segment, uint64_t *p_vaddr, uint64_t *p_addr, uint64_t *p_filesz, uint64_t *p_offset, uint64_t *p_memsz) argument 159 elf32_getEntryPoint(struct Elf32_Header *elfFile) argument [all...] |
H A D | elf64.c | 11 elf64_checkFile(void *elfFile) argument 13 struct Elf64_Header *fileHdr = (struct Elf64_Header *) elfFile; 52 elf64_getProgramSegmentTable(void *elfFile) argument 59 struct Elf64_Header *fileHdr = (struct Elf64_Header *) elfFile; 60 return (struct Elf64_Phdr *) ((size_t)fileHdr->e_phoff + (size_t) elfFile); 64 elf64_getNumSections(void *elfFile) argument 69 struct Elf64_Header *fileHdr = (struct Elf64_Header *) elfFile; 74 elf64_getStringTable(void *elfFile, int string_segment) argument 76 struct Elf64_Shdr *sections = elf64_getSectionTable(elfFile); 77 return (char *) elfFile 81 elf64_getSegmentStringTable(void *elfFile) argument 92 elf64_getSectionName(void *elfFile, int i) argument 104 elf64_getSectionSize(void *elfFile, int i) argument 111 elf64_getSectionAddr(struct Elf64_Header *elfFile, int i) argument 118 elf64_getSection(void *elfFile, int i) argument 125 elf64_getSectionNamed(void *elfFile, char *str) argument 138 elf64_getNumProgramHeaders(struct Elf64_Header *elfFile) argument 144 elf64_getSegmentType(void *elfFile, int segment) argument 150 elf64_getSegmentInfo(void *elfFile, int segment, uint64_t *p_vaddr, uint64_t *p_paddr, uint64_t *p_filesz, uint64_t *p_offset, uint64_t *p_memsz) argument 165 elf64_getEntryPoint(struct Elf64_Header *elfFile) argument [all...] |
/seL4-refos-master/tools/elfloader/src/binaries/elf/ |
H A D | elf.c | 11 * Checks that elfFile points to a valid elf file. Returns 0 if the elf 16 elf_checkFile(void *elfFile) argument 18 return ISELF32 (elfFile) 19 ? elf32_checkFile(elfFile) 20 : elf64_checkFile(elfFile); 25 elf_getNumProgramHeaders(void *elfFile) argument 27 return ISELF32 (elfFile) 28 ? elf32_getNumProgramHeaders(elfFile) 29 : elf64_getNumProgramHeaders(elfFile); 33 elf_getProgramHeaderFlags(void *elfFile, uint16_ argument 41 elf_getProgramHeaderType(void *elfFile, uint16_t ph) argument 49 elf_getProgramHeaderPaddr(void *elfFile, uint16_t ph) argument 57 elf_getProgramHeaderVaddr(void *elfFile, uint16_t ph) argument 65 elf_getProgramHeaderMemorySize(void *elfFile, uint16_t ph) argument 73 elf_getProgramHeaderFileSize(void *elfFile, uint16_t ph) argument 81 elf_getProgramHeaderOffset(void *elfFile, uint16_t ph) argument 89 elf_getSegmentStringTable(void *elfFile) argument 97 elf_getStringTable(void *elfFile, int string_segment) argument 105 elf_getNumSections(void *elfFile) argument 113 elf_getSectionName(void *elfFile, int i) argument 121 elf_getSectionFlags(void *elfFile, int i) argument 129 elf_getSectionType(void *elfFile, int i) argument 137 elf_getSectionSize(void *elfFile, int i) argument 145 elf_getSectionAddr(void *elfFile, int i) argument 153 elf_getSection(void *elfFile, int i) argument 161 elf_getSectionNamed(void *elfFile, char *_str) argument 169 elf_getProgramHeaderInfo(void *elfFile, uint16_t ph, uint64_t *p_vaddr, uint64_t *p_paddr, uint64_t *p_filesz, uint64_t *p_offset, uint64_t *p_memsz) argument 181 elf_getEntryPoint(void *elfFile) argument 189 elf_getMemoryBounds(void *elfFile, int phys, uint64_t *min, uint64_t *max) argument 228 elf_vaddrInProgramHeader(void *elfFile, uint16_t ph, uint64_t vaddr) argument 240 elf_vtopProgramHeader(void *elfFile, uint16_t ph, uint64_t vaddr) argument 252 elf_loadFile(void *elfFile, int phys) argument [all...] |
H A D | elf32.c | 29 elf32_getNumSections(struct Elf32_Header *elfFile) argument 31 return elfFile->e_shnum; 35 elf32_getStringTable(struct Elf32_Header *elfFile) argument 37 struct Elf32_Shdr *sections = elf32_getSectionTable(elfFile); 38 return (char *)elfFile + sections[elfFile->e_shstrndx].sh_offset; 45 elf32_getProgramSegmentTable(struct Elf32_Header *elfFile) { argument 46 struct Elf32_Header *fileHdr = elfFile; 47 return (struct Elf32_Phdr *) (fileHdr->e_phoff + (long) elfFile); 52 elf32_getNumProgramHeaders(struct Elf32_Header *elfFile) argument 59 elf32_getSectionName(struct Elf32_Header *elfFile, int i) argument 71 elf32_getSectionSize(struct Elf32_Header *elfFile, int i) argument 78 elf32_getSectionAddr(struct Elf32_Header *elfFile, int i) argument 85 elf32_getSection(struct Elf32_Header *elfFile, int i) argument 92 elf32_getSectionNamed(struct Elf32_Header *elfFile, char *str) argument 105 elf32_getSegmentStringTable(struct Elf32_Header *elfFile) argument 117 elf32_printStringTable(struct Elf32_Header *elfFile) argument 140 elf32_getSegmentType(struct Elf32_Header *elfFile, int segment) argument 146 elf32_getSegmentInfo(struct Elf32_Header *elfFile, int segment, uint64_t *p_vaddr, uint64_t *p_addr, uint64_t *p_filesz, uint64_t *p_offset, uint64_t *p_memsz) argument 159 elf32_getEntryPoint(struct Elf32_Header *elfFile) argument [all...] |
H A D | elf64.c | 11 elf64_checkFile(void *elfFile) argument 13 struct Elf64_Header *fileHdr = (struct Elf64_Header *) elfFile; 52 elf64_getProgramSegmentTable(void *elfFile) argument 59 struct Elf64_Header *fileHdr = (struct Elf64_Header *) elfFile; 60 return (struct Elf64_Phdr *) ((size_t)fileHdr->e_phoff + (size_t) elfFile); 64 elf64_getNumSections(void *elfFile) argument 69 struct Elf64_Header *fileHdr = (struct Elf64_Header *) elfFile; 74 elf64_getStringTable(void *elfFile, int string_segment) argument 76 struct Elf64_Shdr *sections = elf64_getSectionTable(elfFile); 77 return (char *) elfFile 81 elf64_getSegmentStringTable(void *elfFile) argument 92 elf64_getSectionName(void *elfFile, int i) argument 104 elf64_getSectionSize(void *elfFile, int i) argument 111 elf64_getSectionAddr(struct Elf64_Header *elfFile, int i) argument 118 elf64_getSection(void *elfFile, int i) argument 125 elf64_getSectionNamed(void *elfFile, char *str) argument 138 elf64_getNumProgramHeaders(struct Elf64_Header *elfFile) argument 144 elf64_getSegmentType(void *elfFile, int segment) argument 150 elf64_getSegmentInfo(void *elfFile, int segment, uint64_t *p_vaddr, uint64_t *p_paddr, uint64_t *p_filesz, uint64_t *p_offset, uint64_t *p_memsz) argument 165 elf64_getEntryPoint(struct Elf64_Header *elfFile) argument [all...] |
/seL4-refos-master/kernel/include/arch/x86/arch/kernel/ |
H A D | elf.h | 13 bool_t elf_checkFile(Elf_Header_t *elfFile); 14 v_region_t elf_getMemoryBounds(Elf_Header_t *elfFile); 15 void elf_load(Elf_Header_t *elfFile, seL4_Word offset);
|
/seL4-refos-master/seL4_tools/elfloader-tool/include/binaries/elf/ |
H A D | elf.h | 36 #define ISELF32(elfFile) ( ((struct Elf32_Header*)elfFile)->e_ident[EI_CLASS] == ELFCLASS32 ) 37 #define ISELF64(elfFile) ( ((struct Elf64_Header*)elfFile)->e_ident[EI_CLASS] == ELFCLASS64 ) 109 * Checks that elfFile points to a valid elf file. 111 * @param elfFile Potential ELF file to check 115 int elf_checkFile(void *elfFile); 120 * @param elfFile Pointer to a valid ELF header. 124 unsigned elf_getNumSections(void *elfFile); 129 * @param elfFile Pointe [all...] |
H A D | elf64.h | 95 int elf64_checkFile(void *elfFile); 96 struct Elf64_Phdr * elf64_getProgramSegmentTable(void *elfFile); 97 unsigned elf64_getNumSections(void *elfFile); 98 char * elf64_getStringTable(void *elfFile, int string_segment); 99 char * elf64_getSegmentStringTable(void *elfFile); 134 char * elf64_getSectionName(void *elfFile, int i); 135 uint64_t elf64_getSectionSize(void *elfFile, int i); 136 uint64_t elf64_getSectionAddr(struct Elf64_Header *elfFile, int i); 137 void * elf64_getSection(void *elfFile, int i); 138 void * elf64_getSectionNamed(void *elfFile, cha [all...] |
/seL4-refos-master/tools/elfloader/include/binaries/elf/ |
H A D | elf.h | 36 #define ISELF32(elfFile) ( ((struct Elf32_Header*)elfFile)->e_ident[EI_CLASS] == ELFCLASS32 ) 37 #define ISELF64(elfFile) ( ((struct Elf64_Header*)elfFile)->e_ident[EI_CLASS] == ELFCLASS64 ) 109 * Checks that elfFile points to a valid elf file. 111 * @param elfFile Potential ELF file to check 115 int elf_checkFile(void *elfFile); 120 * @param elfFile Pointer to a valid ELF header. 124 unsigned elf_getNumSections(void *elfFile); 129 * @param elfFile Pointe [all...] |
H A D | elf64.h | 95 int elf64_checkFile(void *elfFile); 96 struct Elf64_Phdr * elf64_getProgramSegmentTable(void *elfFile); 97 unsigned elf64_getNumSections(void *elfFile); 98 char * elf64_getStringTable(void *elfFile, int string_segment); 99 char * elf64_getSegmentStringTable(void *elfFile); 134 char * elf64_getSectionName(void *elfFile, int i); 135 uint64_t elf64_getSectionSize(void *elfFile, int i); 136 uint64_t elf64_getSectionAddr(struct Elf64_Header *elfFile, int i); 137 void * elf64_getSection(void *elfFile, int i); 138 void * elf64_getSectionNamed(void *elfFile, cha [all...] |
/seL4-refos-master/libs/libelf/src/ |
H A D | elf.c | 96 .elfFile = file, 136 * Checks that elfFile points to a valid elf file. Returns 0 if the elf 139 int elf_checkFile(elf_t *elfFile) argument 141 int res = elf32_checkFile(elfFile); 146 res = elf64_checkFile(elfFile); 154 int elf_checkProgramHeaderTable(elf_t *elfFile) argument 156 if (elf_isElf32(elfFile)) { 157 return elf32_checkProgramHeaderTable(elfFile); 159 return elf64_checkProgramHeaderTable(elfFile); 163 int elf_checkSectionTable(elf_t *elfFile) argument 172 elf_getEntryPoint(elf_t *elfFile) argument 181 elf_getNumProgramHeaders(elf_t *elfFile) argument 190 elf_getNumSections(elf_t *elfFile) argument 256 elf_getSectionNamed(elf_t *elfFile, const char *str, size_t *id) argument 284 elf_getSectionNameOffset(elf_t *elfFile, size_t i) argument 293 elf_getSectionType(elf_t *elfFile, size_t i) argument 302 elf_getSectionFlags(elf_t *elfFile, size_t i) argument 311 elf_getSectionAddr(elf_t *elfFile, size_t i) argument 320 elf_getSectionOffset(elf_t *elfFile, size_t i) argument 329 elf_getSectionSize(elf_t *elfFile, size_t i) argument 338 elf_getSectionLink(elf_t *elfFile, size_t i) argument 347 elf_getSectionInfo(elf_t *elfFile, size_t i) argument 356 elf_getSectionAddrAlign(elf_t *elfFile, size_t i) argument 365 elf_getSectionEntrySize(elf_t *elfFile, size_t i) argument 389 elf_getProgramHeaderType(elf_t *elfFile, size_t ph) argument 398 elf_getProgramHeaderOffset(elf_t *elfFile, size_t ph) argument 407 elf_getProgramHeaderVaddr(elf_t *elfFile, size_t ph) argument 416 elf_getProgramHeaderPaddr(elf_t *elfFile, size_t ph) argument 425 elf_getProgramHeaderFileSize(elf_t *elfFile, size_t ph) argument 434 elf_getProgramHeaderMemorySize(elf_t *elfFile, size_t ph) argument 443 elf_getProgramHeaderFlags(elf_t *elfFile, size_t ph) argument 452 elf_getProgramHeaderAlign(elf_t *elfFile, size_t ph) argument 463 elf_getMemoryBounds(elf_t *elfFile, elf_addr_type_t addr_type, uintptr_t *min, uintptr_t *max) argument 497 elf_vaddrInProgramHeader(elf_t *elfFile, size_t ph, uintptr_t vaddr) argument 508 elf_vtopProgramHeader(elf_t *elfFile, size_t ph, uintptr_t vaddr) argument [all...] |
H A D | elf64.c | 97 if (elf_check_magic(elf->elfFile) < 0) { 101 Elf64_Ehdr *header = elf->elfFile; 124 Elf64_Ehdr *header = elf->elfFile; 135 Elf64_Ehdr *header = elf->elfFile;
|
H A D | elf32.c | 93 if (elf_check_magic(elf->elfFile) < 0) { 97 Elf32_Ehdr *header = elf->elfFile; 120 Elf32_Ehdr *header = elf->elfFile; 131 Elf32_Ehdr *header = elf->elfFile;
|
/seL4-refos-master/projects/util_libs/libelf/src/ |
H A D | elf.c | 96 .elfFile = file, 136 * Checks that elfFile points to a valid elf file. Returns 0 if the elf 139 int elf_checkFile(elf_t *elfFile) argument 141 int res = elf32_checkFile(elfFile); 146 res = elf64_checkFile(elfFile); 154 int elf_checkProgramHeaderTable(elf_t *elfFile) argument 156 if (elf_isElf32(elfFile)) { 157 return elf32_checkProgramHeaderTable(elfFile); 159 return elf64_checkProgramHeaderTable(elfFile); 163 int elf_checkSectionTable(elf_t *elfFile) argument 172 elf_getEntryPoint(elf_t *elfFile) argument 181 elf_getNumProgramHeaders(elf_t *elfFile) argument 190 elf_getNumSections(elf_t *elfFile) argument 256 elf_getSectionNamed(elf_t *elfFile, const char *str, size_t *id) argument 284 elf_getSectionNameOffset(elf_t *elfFile, size_t i) argument 293 elf_getSectionType(elf_t *elfFile, size_t i) argument 302 elf_getSectionFlags(elf_t *elfFile, size_t i) argument 311 elf_getSectionAddr(elf_t *elfFile, size_t i) argument 320 elf_getSectionOffset(elf_t *elfFile, size_t i) argument 329 elf_getSectionSize(elf_t *elfFile, size_t i) argument 338 elf_getSectionLink(elf_t *elfFile, size_t i) argument 347 elf_getSectionInfo(elf_t *elfFile, size_t i) argument 356 elf_getSectionAddrAlign(elf_t *elfFile, size_t i) argument 365 elf_getSectionEntrySize(elf_t *elfFile, size_t i) argument 389 elf_getProgramHeaderType(elf_t *elfFile, size_t ph) argument 398 elf_getProgramHeaderOffset(elf_t *elfFile, size_t ph) argument 407 elf_getProgramHeaderVaddr(elf_t *elfFile, size_t ph) argument 416 elf_getProgramHeaderPaddr(elf_t *elfFile, size_t ph) argument 425 elf_getProgramHeaderFileSize(elf_t *elfFile, size_t ph) argument 434 elf_getProgramHeaderMemorySize(elf_t *elfFile, size_t ph) argument 443 elf_getProgramHeaderFlags(elf_t *elfFile, size_t ph) argument 452 elf_getProgramHeaderAlign(elf_t *elfFile, size_t ph) argument 463 elf_getMemoryBounds(elf_t *elfFile, elf_addr_type_t addr_type, uintptr_t *min, uintptr_t *max) argument 497 elf_vaddrInProgramHeader(elf_t *elfFile, size_t ph, uintptr_t vaddr) argument 508 elf_vtopProgramHeader(elf_t *elfFile, size_t ph, uintptr_t vaddr) argument [all...] |
H A D | elf64.c | 97 if (elf_check_magic(elf->elfFile) < 0) { 101 Elf64_Ehdr *header = elf->elfFile; 124 Elf64_Ehdr *header = elf->elfFile; 135 Elf64_Ehdr *header = elf->elfFile;
|
H A D | elf32.c | 93 if (elf_check_magic(elf->elfFile) < 0) { 97 Elf32_Ehdr *header = elf->elfFile; 120 Elf32_Ehdr *header = elf->elfFile; 131 Elf32_Ehdr *header = elf->elfFile;
|
/seL4-refos-master/libs/libelf/include/elf/ |
H A D | elf.h | 111 void *elfFile; member in struct:elf 168 * Checks that elfFile points to an ELF file with a valid ELF header. 170 * @param elfFile Potential ELF file to check 174 int elf_checkFile(elf_t *elfFile); 177 * Checks that elfFile points to an ELF file with a valid program header table. 179 * @param elfFile Potential ELF file to check 183 int elf_checkProgramHeaderTable(elf_t *elfFile); 186 * Checks that elfFile points to an ELF file with a valid section table. 188 * @param elfFile Potential ELF file to check 192 int elf_checkSectionTable(elf_t *elfFile); [all...] |
H A D | elf32.h | 100 return *(Elf32_Ehdr *) elf->elfFile; 110 return file->elfFile + elf32_getHeader(file).e_phoff; 115 return elf->elfFile + elf32_getHeader(elf).e_shoff;
|
H A D | elf64.h | 100 return *(Elf64_Ehdr *) elf->elfFile; 110 return file->elfFile + elf64_getHeader(file).e_phoff; 115 return file->elfFile + elf64_getHeader(file).e_shoff;
|
/seL4-refos-master/projects/util_libs/libelf/include/elf/ |
H A D | elf.h | 111 void *elfFile; member in struct:elf 168 * Checks that elfFile points to an ELF file with a valid ELF header. 170 * @param elfFile Potential ELF file to check 174 int elf_checkFile(elf_t *elfFile); 177 * Checks that elfFile points to an ELF file with a valid program header table. 179 * @param elfFile Potential ELF file to check 183 int elf_checkProgramHeaderTable(elf_t *elfFile); 186 * Checks that elfFile points to an ELF file with a valid section table. 188 * @param elfFile Potential ELF file to check 192 int elf_checkSectionTable(elf_t *elfFile); [all...] |
H A D | elf32.h | 100 return *(Elf32_Ehdr *) elf->elfFile; 110 return file->elfFile + elf32_getHeader(file).e_phoff; 115 return elf->elfFile + elf32_getHeader(elf).e_shoff;
|
H A D | elf64.h | 100 return *(Elf64_Ehdr *) elf->elfFile; 110 return file->elfFile + elf64_getHeader(file).e_phoff; 115 return file->elfFile + elf64_getHeader(file).e_shoff;
|
/seL4-refos-master/kernel/src/arch/x86/32/kernel/ |
H A D | elf.c | 12 BOOT_CODE bool_t elf_checkFile(Elf32_Header_t *elfFile) argument 15 elfFile->e_ident[0] == '\177' && 16 elfFile->e_ident[1] == 'E' && 17 elfFile->e_ident[2] == 'L' && 18 elfFile->e_ident[3] == 'F' && 19 elfFile->e_ident[4] == 1 23 BOOT_CODE v_region_t elf_getMemoryBounds(Elf32_Header_t *elfFile) argument 25 Elf32_Phdr_t *phdr = (Elf32_Phdr_t *)((paddr_t)elfFile + elfFile->e_phoff); 35 for (i = 0; i < elfFile 51 elf_load(Elf32_Header_t *elfFile, seL4_Word offset) argument [all...] |
/seL4-refos-master/projects/refos/impl/apps/selfloader/src/ |
H A D | selfloader.c | 165 data_mapping_t *elfFile = &selfloaderState.elfFileHeader; local 167 assert(elfFile->err == ESUCCESS && elfFile->vaddr != NULL); 187 error = data_init_data(fsSession->serverSession, elfSegment->dataspace, elfFile->dataspace,
|