Searched refs:elf32_getSegmentInfo (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/seL4_tools/elfloader-tool/include/binaries/elf/ |
| H A D | elf32.h | 133 void elf32_getSegmentInfo(struct Elf32_Header *file, int segment, uint64_t *p_vaddr,
|
| /seL4-refos-master/tools/elfloader/include/binaries/elf/ |
| H A D | elf32.h | 133 void elf32_getSegmentInfo(struct Elf32_Header *file, int segment, uint64_t *p_vaddr,
|
| /seL4-refos-master/seL4_tools/elfloader-tool/src/binaries/elf/ |
| H A D | elf32.c | 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) function
|
| /seL4-refos-master/tools/elfloader/src/binaries/elf/ |
| H A D | elf32.c | 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) function
|
Completed in 30 milliseconds