/seL4-refos-master/seL4_tools/elfloader-tool/src/binaries/elf/ |
H A D | elf.c | 33 elf_getProgramHeaderFlags(void *elfFile, uint16_t ph) argument 36 ? elf32_getProgramHeaderFlags(elfFile, ph) 37 : elf64_getProgramHeaderFlags(elfFile, ph); 41 elf_getProgramHeaderType(void *elfFile, uint16_t ph) argument 44 ? elf32_getProgramHeaderType(elfFile, ph) 45 : elf64_getProgramHeaderType(elfFile, ph); 49 elf_getProgramHeaderPaddr(void *elfFile, uint16_t ph) argument 52 ? elf32_getProgramHeaderPaddr(elfFile, ph) 53 : elf64_getProgramHeaderPaddr(elfFile, ph); 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 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 228 elf_vaddrInProgramHeader(void *elfFile, uint16_t ph, uint64_t vaddr) argument 240 elf_vtopProgramHeader(void *elfFile, uint16_t ph, uint64_t vaddr) argument [all...] |
/seL4-refos-master/tools/elfloader/src/binaries/elf/ |
H A D | elf.c | 33 elf_getProgramHeaderFlags(void *elfFile, uint16_t ph) argument 36 ? elf32_getProgramHeaderFlags(elfFile, ph) 37 : elf64_getProgramHeaderFlags(elfFile, ph); 41 elf_getProgramHeaderType(void *elfFile, uint16_t ph) argument 44 ? elf32_getProgramHeaderType(elfFile, ph) 45 : elf64_getProgramHeaderType(elfFile, ph); 49 elf_getProgramHeaderPaddr(void *elfFile, uint16_t ph) argument 52 ? elf32_getProgramHeaderPaddr(elfFile, ph) 53 : elf64_getProgramHeaderPaddr(elfFile, ph); 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 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 228 elf_vaddrInProgramHeader(void *elfFile, uint16_t ph, uint64_t vaddr) argument 240 elf_vtopProgramHeader(void *elfFile, uint16_t ph, uint64_t vaddr) argument [all...] |
/seL4-refos-master/libs/libelf/include/elf/ |
H A D | elf32.h | 187 static inline uint32_t elf32_getProgramHeaderType(elf_t *file, size_t ph) argument 189 return elf32_getProgramHeaderTable(file)[ph].p_type; 192 static inline size_t elf32_getProgramHeaderOffset(elf_t *file, size_t ph) argument 194 return elf32_getProgramHeaderTable(file)[ph].p_offset; 197 static inline uintptr_t elf32_getProgramHeaderVaddr(elf_t *file, size_t ph) argument 199 return elf32_getProgramHeaderTable(file)[ph].p_vaddr; 202 static inline uintptr_t elf32_getProgramHeaderPaddr(elf_t *file, size_t ph) argument 204 return elf32_getProgramHeaderTable(file)[ph].p_paddr; 207 static inline size_t elf32_getProgramHeaderFileSize(elf_t *file, size_t ph) argument 209 return elf32_getProgramHeaderTable(file)[ph] 212 elf32_getProgramHeaderMemorySize(elf_t *file, size_t ph) argument 217 elf32_getProgramHeaderFlags(elf_t *file, size_t ph) argument 222 elf32_getProgramHeaderAlign(elf_t *file, size_t ph) argument [all...] |
H A D | elf64.h | 187 static inline uint32_t elf64_getProgramHeaderType(elf_t *file, size_t ph) argument 189 return elf64_getProgramHeaderTable(file)[ph].p_type; 192 static inline size_t elf64_getProgramHeaderOffset(elf_t *file, size_t ph) argument 194 return elf64_getProgramHeaderTable(file)[ph].p_offset; 197 static inline uintptr_t elf64_getProgramHeaderVaddr(elf_t *file, size_t ph) argument 199 return elf64_getProgramHeaderTable(file)[ph].p_vaddr; 202 static inline uintptr_t elf64_getProgramHeaderPaddr(elf_t *file, size_t ph) argument 204 return elf64_getProgramHeaderTable(file)[ph].p_paddr; 207 static inline size_t elf64_getProgramHeaderFileSize(elf_t *file, size_t ph) argument 209 return elf64_getProgramHeaderTable(file)[ph] 212 elf64_getProgramHeaderMemorySize(elf_t *file, size_t ph) argument 217 elf64_getProgramHeaderFlags(elf_t *file, size_t ph) argument 222 elf64_getProgramHeaderAlign(elf_t *file, size_t ph) argument [all...] |
H A D | elf.h | 391 * @param ph Index of the program header 395 void *elf_getProgramSegment(elf_t *elf, size_t ph); 401 * @param ph Index of the program header 405 uint32_t elf_getProgramHeaderType(elf_t *elfFile, size_t ph); 411 * @param ph Index of the program header 415 size_t elf_getProgramHeaderOffset(elf_t *elfFile, size_t ph); 421 * @param ph Index of the program header 425 uintptr_t elf_getProgramHeaderVaddr(elf_t *elfFile, size_t ph); 431 * @param ph Index of the program header 435 uintptr_t elf_getProgramHeaderPaddr(elf_t *elfFile, size_t ph); [all...] |
/seL4-refos-master/projects/util_libs/libelf/include/elf/ |
H A D | elf32.h | 187 static inline uint32_t elf32_getProgramHeaderType(elf_t *file, size_t ph) argument 189 return elf32_getProgramHeaderTable(file)[ph].p_type; 192 static inline size_t elf32_getProgramHeaderOffset(elf_t *file, size_t ph) argument 194 return elf32_getProgramHeaderTable(file)[ph].p_offset; 197 static inline uintptr_t elf32_getProgramHeaderVaddr(elf_t *file, size_t ph) argument 199 return elf32_getProgramHeaderTable(file)[ph].p_vaddr; 202 static inline uintptr_t elf32_getProgramHeaderPaddr(elf_t *file, size_t ph) argument 204 return elf32_getProgramHeaderTable(file)[ph].p_paddr; 207 static inline size_t elf32_getProgramHeaderFileSize(elf_t *file, size_t ph) argument 209 return elf32_getProgramHeaderTable(file)[ph] 212 elf32_getProgramHeaderMemorySize(elf_t *file, size_t ph) argument 217 elf32_getProgramHeaderFlags(elf_t *file, size_t ph) argument 222 elf32_getProgramHeaderAlign(elf_t *file, size_t ph) argument [all...] |
H A D | elf64.h | 187 static inline uint32_t elf64_getProgramHeaderType(elf_t *file, size_t ph) argument 189 return elf64_getProgramHeaderTable(file)[ph].p_type; 192 static inline size_t elf64_getProgramHeaderOffset(elf_t *file, size_t ph) argument 194 return elf64_getProgramHeaderTable(file)[ph].p_offset; 197 static inline uintptr_t elf64_getProgramHeaderVaddr(elf_t *file, size_t ph) argument 199 return elf64_getProgramHeaderTable(file)[ph].p_vaddr; 202 static inline uintptr_t elf64_getProgramHeaderPaddr(elf_t *file, size_t ph) argument 204 return elf64_getProgramHeaderTable(file)[ph].p_paddr; 207 static inline size_t elf64_getProgramHeaderFileSize(elf_t *file, size_t ph) argument 209 return elf64_getProgramHeaderTable(file)[ph] 212 elf64_getProgramHeaderMemorySize(elf_t *file, size_t ph) argument 217 elf64_getProgramHeaderFlags(elf_t *file, size_t ph) argument 222 elf64_getProgramHeaderAlign(elf_t *file, size_t ph) argument [all...] |
H A D | elf.h | 391 * @param ph Index of the program header 395 void *elf_getProgramSegment(elf_t *elf, size_t ph); 401 * @param ph Index of the program header 405 uint32_t elf_getProgramHeaderType(elf_t *elfFile, size_t ph); 411 * @param ph Index of the program header 415 size_t elf_getProgramHeaderOffset(elf_t *elfFile, size_t ph); 421 * @param ph Index of the program header 425 uintptr_t elf_getProgramHeaderVaddr(elf_t *elfFile, size_t ph); 431 * @param ph Index of the program header 435 uintptr_t elf_getProgramHeaderPaddr(elf_t *elfFile, size_t ph); [all...] |
/seL4-refos-master/seL4_tools/elfloader-tool/include/binaries/elf/ |
H A D | elf.h | 139 * @param ph Index of the program header 143 uint64_t elf_getProgramHeaderPaddr(void *elfFile, uint16_t ph); 149 * @param ph Index of the program header 153 uint64_t elf_getProgramHeaderVaddr(void *elfFile, uint16_t ph); 159 * @param ph Index of the program header 163 uint64_t elf_getProgramHeaderMemorySize(void *elfFile, uint16_t ph); 169 * @param ph Index of the program header 173 uint64_t elf_getProgramHeaderFileSize(void *elfFile, uint16_t ph); 179 * @param ph Index of the program header 184 uint64_t elf_getProgramHeaderOffset(void *elfFile, uint16_t ph); [all...] |
H A D | elf64.h | 159 elf64_getProgramHeaderFlags(struct Elf64_Header *file, uint16_t ph) argument 161 return elf64_getProgramHeaderTable(file)[ph].p_flags; 165 elf64_getProgramHeaderType(struct Elf64_Header *file, uint16_t ph) argument 167 return elf64_getProgramHeaderTable(file)[ph].p_type; 171 elf64_getProgramHeaderFileSize(struct Elf64_Header *file, uint16_t ph) argument 173 struct Elf64_Phdr *phdr = &elf64_getProgramHeaderTable(file)[ph]; 178 elf64_getProgramHeaderMemorySize(struct Elf64_Header *file, uint16_t ph) argument 180 struct Elf64_Phdr *phdr = &elf64_getProgramHeaderTable(file)[ph]; 185 elf64_getProgramHeaderVaddr(struct Elf64_Header *file, uint16_t ph) argument 187 struct Elf64_Phdr *phdr = &elf64_getProgramHeaderTable(file)[ph]; 192 elf64_getProgramHeaderPaddr(struct Elf64_Header *file, uint16_t ph) argument 199 elf64_getProgramHeaderOffset(struct Elf64_Header *file, uint16_t ph) argument [all...] |
H A D | elf32.h | 149 elf32_getProgramHeaderFlags(struct Elf32_Header *file, uint16_t ph) argument 151 return elf32_getProgramHeaderTable(file)[ph].p_flags; 155 elf32_getProgramHeaderType(struct Elf32_Header *file, uint16_t ph) argument 157 return elf32_getProgramHeaderTable(file)[ph].p_type; 161 elf32_getProgramHeaderFileSize(struct Elf32_Header *file, uint16_t ph) argument 163 return elf32_getProgramHeaderTable(file)[ph].p_filesz; 167 elf32_getProgramHeaderMemorySize(struct Elf32_Header *file, uint16_t ph) argument 169 return elf32_getProgramHeaderTable(file)[ph].p_memsz; 173 elf32_getProgramHeaderVaddr(struct Elf32_Header *file, uint16_t ph) argument 175 return elf32_getProgramHeaderTable(file)[ph] 179 elf32_getProgramHeaderPaddr(struct Elf32_Header *file, uint16_t ph) argument 185 elf32_getProgramHeaderOffset(struct Elf32_Header *file, uint16_t ph) argument [all...] |
/seL4-refos-master/tools/elfloader/include/binaries/elf/ |
H A D | elf.h | 139 * @param ph Index of the program header 143 uint64_t elf_getProgramHeaderPaddr(void *elfFile, uint16_t ph); 149 * @param ph Index of the program header 153 uint64_t elf_getProgramHeaderVaddr(void *elfFile, uint16_t ph); 159 * @param ph Index of the program header 163 uint64_t elf_getProgramHeaderMemorySize(void *elfFile, uint16_t ph); 169 * @param ph Index of the program header 173 uint64_t elf_getProgramHeaderFileSize(void *elfFile, uint16_t ph); 179 * @param ph Index of the program header 184 uint64_t elf_getProgramHeaderOffset(void *elfFile, uint16_t ph); [all...] |
H A D | elf32.h | 149 elf32_getProgramHeaderFlags(struct Elf32_Header *file, uint16_t ph) argument 151 return elf32_getProgramHeaderTable(file)[ph].p_flags; 155 elf32_getProgramHeaderType(struct Elf32_Header *file, uint16_t ph) argument 157 return elf32_getProgramHeaderTable(file)[ph].p_type; 161 elf32_getProgramHeaderFileSize(struct Elf32_Header *file, uint16_t ph) argument 163 return elf32_getProgramHeaderTable(file)[ph].p_filesz; 167 elf32_getProgramHeaderMemorySize(struct Elf32_Header *file, uint16_t ph) argument 169 return elf32_getProgramHeaderTable(file)[ph].p_memsz; 173 elf32_getProgramHeaderVaddr(struct Elf32_Header *file, uint16_t ph) argument 175 return elf32_getProgramHeaderTable(file)[ph] 179 elf32_getProgramHeaderPaddr(struct Elf32_Header *file, uint16_t ph) argument 185 elf32_getProgramHeaderOffset(struct Elf32_Header *file, uint16_t ph) argument [all...] |
H A D | elf64.h | 159 elf64_getProgramHeaderFlags(struct Elf64_Header *file, uint16_t ph) argument 161 return elf64_getProgramHeaderTable(file)[ph].p_flags; 165 elf64_getProgramHeaderType(struct Elf64_Header *file, uint16_t ph) argument 167 return elf64_getProgramHeaderTable(file)[ph].p_type; 171 elf64_getProgramHeaderFileSize(struct Elf64_Header *file, uint16_t ph) argument 173 struct Elf64_Phdr *phdr = &elf64_getProgramHeaderTable(file)[ph]; 178 elf64_getProgramHeaderMemorySize(struct Elf64_Header *file, uint16_t ph) argument 180 struct Elf64_Phdr *phdr = &elf64_getProgramHeaderTable(file)[ph]; 185 elf64_getProgramHeaderVaddr(struct Elf64_Header *file, uint16_t ph) argument 187 struct Elf64_Phdr *phdr = &elf64_getProgramHeaderTable(file)[ph]; 192 elf64_getProgramHeaderPaddr(struct Elf64_Header *file, uint16_t ph) argument 199 elf64_getProgramHeaderOffset(struct Elf64_Header *file, uint16_t ph) argument [all...] |
/seL4-refos-master/libs/libelf/src/ |
H A D | elf.c | 376 void *elf_getProgramSegment(elf_t *elf, size_t ph) argument 378 size_t offset = elf_getProgramHeaderOffset(elf, ph); 379 size_t file_size = elf_getProgramHeaderFileSize(elf, ph); 389 uint32_t elf_getProgramHeaderType(elf_t *elfFile, size_t ph) argument 392 return elf32_getProgramHeaderType(elfFile, ph); 394 return elf64_getProgramHeaderType(elfFile, ph); 398 size_t elf_getProgramHeaderOffset(elf_t *elfFile, size_t ph) argument 401 return elf32_getProgramHeaderOffset(elfFile, ph); 403 return elf64_getProgramHeaderOffset(elfFile, ph); 407 uintptr_t 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 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...] |
/seL4-refos-master/projects/util_libs/libelf/src/ |
H A D | elf.c | 376 void *elf_getProgramSegment(elf_t *elf, size_t ph) argument 378 size_t offset = elf_getProgramHeaderOffset(elf, ph); 379 size_t file_size = elf_getProgramHeaderFileSize(elf, ph); 389 uint32_t elf_getProgramHeaderType(elf_t *elfFile, size_t ph) argument 392 return elf32_getProgramHeaderType(elfFile, ph); 394 return elf64_getProgramHeaderType(elfFile, ph); 398 size_t elf_getProgramHeaderOffset(elf_t *elfFile, size_t ph) argument 401 return elf32_getProgramHeaderOffset(elfFile, ph); 403 return elf64_getProgramHeaderOffset(elfFile, ph); 407 uintptr_t 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 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...] |
/seL4-refos-master/libs/libmuslc/src/internal/ |
H A D | vdso.c | 50 Phdr *ph = (void *)((char *)eh + eh->e_phoff); local 52 for (i=0; i<eh->e_phnum; i++, ph=(void *)((char *)ph+eh->e_phentsize)) { 53 if (ph->p_type == PT_LOAD) 54 base = (size_t)eh + ph->p_offset - ph->p_vaddr; 55 else if (ph->p_type == PT_DYNAMIC) 56 dynv = (void *)((char *)eh + ph->p_offset);
|
/seL4-refos-master/libs/libmuslc/ldso/ |
H A D | dlstart.c | 57 Phdr *ph = (void *)(base + eh->e_phoff); local 60 while (phnum-- && ph->p_type != PT_DYNAMIC) 61 ph = (void *)((size_t)ph + phent); 62 dynv = (void *)(base + ph->p_vaddr); 108 Phdr *ph = (void *)aux[AT_PHDR]; local 109 for (i=phnum; i--; ph = (void *)((char *)ph + phentsize)) { 110 if (ph->p_type == PT_DYNAMIC) { 111 base = (size_t)dynv - ph [all...] |
H A D | dynlink.c | 480 Phdr *ph = dso->phdr; local 484 for (; phcnt--; ph=(void *)((char *)ph+dso->phentsize)) { 485 if (ph->p_type!=PT_LOAD) continue; 486 if ((ph->p_flags&(PF_R|PF_W))!=(PF_R|PF_W)) continue; 487 reclaim(dso, ph->p_vaddr & -PAGE_SIZE, ph->p_vaddr); 488 reclaim(dso, ph->p_vaddr+ph->p_memsz, 489 ph 547 Phdr *ph, *ph0; local 1171 Phdr *ph = p->phdr; local [all...] |