/seL4-camkes-master/tools/seL4/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-camkes-master/tools/riscv-pk/pk/ |
H A D | elf.c | 57 Elf_Phdr* ph = (typeof(ph))info->phdr; local 62 if (ph[i].p_type == PT_LOAD && ph[i].p_memsz) 63 max_vaddr = MAX(max_vaddr, ph[i].p_vaddr + ph[i].p_memsz); 74 if(ph[i].p_type == PT_LOAD && ph[i].p_memsz) { 75 uintptr_t prepad = ph[i].p_vaddr % RISCV_PGSIZE; 76 uintptr_t vaddr = ph[ [all...] |
/seL4-camkes-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-camkes-master/tools/seL4/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-camkes-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-camkes-master/projects/musllibc/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-camkes-master/projects/musllibc/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...] |
/seL4-camkes-master/projects/lwip/src/netif/ppp/ |
H A D | pppoe.c | 205 struct pbuf *ph; /* Ethernet + PPPoE header */ local 216 ph = pbuf_alloc(PBUF_LINK, (u16_t)(PPPOE_HEADERLEN), PBUF_RAM); 217 if(!ph) { 225 pbuf_remove_header(ph, PPPOE_HEADERLEN); /* hide PPPoE header */ 226 pbuf_cat(ph, p); 228 tot_len = ph->tot_len; 231 ret = pppoe_xmit(sc, ph); 387 struct pppoehdr *ph; local 415 ph = (struct pppoehdr *) (ethhdr + 1); 416 if (ph 656 struct pppoehdr *ph; local [all...] |
H A D | pppol2tp.c | 167 struct pbuf *ph; /* UDP + L2TP header */ local 175 ph = pbuf_alloc(PBUF_TRANSPORT, (u16_t)(PPPOL2TP_OUTPUT_DATA_HEADER_LEN), PBUF_RAM); 176 if(!ph) { 184 pbuf_remove_header(ph, PPPOL2TP_OUTPUT_DATA_HEADER_LEN); /* hide L2TP header */ 185 pbuf_cat(ph, p); 187 tot_len = ph->tot_len; 190 ret = pppol2tp_xmit(l2tp, ph);
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_dev_radiotest.c | 125 struct pcap_pkthdr ph; local 128 ph.caplen = (uint32_t)len; 129 ph.len = (uint32_t)len; 130 gettimeofday(&ph.ts, NULL); 131 pcap_dump((u_char *)dev->pcapd, &ph, buf);
|