/seL4-refos-master/libs/libmuslc/src/internal/ |
H A D | fdpic_crt.h | 14 uintptr_t addr, p_vaddr, p_memsz; member in struct:__anon362::fdpic_loadseg 19 while (*a-lm->segs[rseg].p_vaddr >= lm->segs[rseg].p_memsz) 24 while (*r-lm->segs[vseg].p_vaddr >= lm->segs[vseg].p_memsz)
|
H A D | dynlink.h | 46 uintptr_t addr, p_vaddr, p_memsz; member in struct:fdpic_loadseg
|
/seL4-refos-master/kernel/src/arch/x86/32/kernel/ |
H A D | elf.c | 36 if (phdr[i].p_memsz > 0) { 38 sect_end = sect_start + phdr[i].p_memsz; 66 memset((void *)dst, 0, phdr[i].p_memsz - len);
|
/seL4-refos-master/kernel/src/arch/x86/64/kernel/ |
H A D | elf.c | 34 if (phdr[i].p_memsz > 0) { 36 sect_end = sect_start + phdr[i].p_memsz; 63 memset((void *)dst, 0, phdr[i].p_memsz - len);
|
/seL4-refos-master/kernel/include/arch/x86/arch/32/mode/kernel/ |
H A D | elf.h | 38 uint32_t p_memsz; /* How many bytes this segment should occupy in memory */ member in struct:Elf32_Phdr
|
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/kernel/ |
H A D | elf.h | 36 uint64_t p_memsz; member in struct:Elf64_Phdr
|
/seL4-refos-master/libs/libmuslc/src/ldso/arm/ |
H A D | find_exidx.c | 21 match |= data->pc >= addr && data->pc < addr + phdr->p_memsz; 25 exidx_len = phdr->p_memsz;
|
/seL4-refos-master/seL4_tools/elfloader-tool/include/binaries/elf/ |
H A D | elf64.h | 69 uint64_t p_memsz; /* How many bytes this segment member in struct:Elf64_Phdr 142 uint64_t *p_offset, uint64_t *p_memsz); 181 return elf64_read64(&phdr->p_memsz);
|
H A D | elf32.h | 67 uint32_t p_memsz; /* How many bytes this segment member in struct:Elf32_Phdr 135 uint64_t *p_offset, uint64_t *p_memsz); 169 return elf32_getProgramHeaderTable(file)[ph].p_memsz;
|
H A D | elf.h | 290 uint64_t *p_offset, uint64_t *p_memsz);
|
/seL4-refos-master/tools/elfloader/include/binaries/elf/ |
H A D | elf32.h | 67 uint32_t p_memsz; /* How many bytes this segment member in struct:Elf32_Phdr 135 uint64_t *p_offset, uint64_t *p_memsz); 169 return elf32_getProgramHeaderTable(file)[ph].p_memsz;
|
H A D | elf64.h | 69 uint64_t p_memsz; /* How many bytes this segment member in struct:Elf64_Phdr 142 uint64_t *p_offset, uint64_t *p_memsz); 181 return elf64_read64(&phdr->p_memsz);
|
H A D | elf.h | 290 uint64_t *p_offset, uint64_t *p_memsz);
|
/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) argument 155 *p_memsz = segments[segment].p_memsz;
|
H A D | elf64.c | 152 uint64_t *p_memsz) 161 *p_memsz = segments[segment].p_memsz; 239 segments[i].p_filesz, segments[i].p_memsz, 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
|
H A D | elf.c | 171 uint64_t *p_memsz) 177 *p_memsz = elf_getProgramHeaderMemorySize(elfFile, ph); 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
|
/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) argument 155 *p_memsz = segments[segment].p_memsz;
|
H A D | elf64.c | 152 uint64_t *p_memsz) 161 *p_memsz = segments[segment].p_memsz; 239 segments[i].p_filesz, segments[i].p_memsz, 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
|
H A D | elf.c | 171 uint64_t *p_memsz) 177 *p_memsz = elf_getProgramHeaderMemorySize(elfFile, ph); 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
|
/seL4-refos-master/libs/libmuslc/ldso/ |
H A D | dlstart.c | 55 segs[0].p_memsz = -1; 74 for (j=0; dyn[i]-segs[j].p_vaddr >= segs[j].p_memsz; j++); 85 for (j=0; rel[0]-segs[j].p_vaddr >= segs[j].p_memsz; j++); 95 for (j=0; val-segs[j].p_vaddr >= segs[j].p_memsz; j++);
|
H A D | dynlink.c | 157 for (j=0; v-p->loadmap->segs[j].p_vaddr >= p->loadmap->segs[j].p_memsz; j++); 488 reclaim(dso, ph->p_vaddr+ph->p_memsz, 489 ph->p_vaddr+ph->p_memsz+PAGE_SIZE-1 & -PAGE_SIZE); 526 if (!dso->loadmap->segs[i].p_memsz) 529 dso->loadmap->segs[i].p_memsz); 582 dso->tls.size = ph->p_memsz; 585 dso->relro_end = (ph->p_vaddr + ph->p_memsz) & -PAGE_SIZE; 596 if (ph->p_vaddr+ph->p_memsz > addr_max) { 597 addr_max = ph->p_vaddr+ph->p_memsz; 611 map = mmap(0, ph->p_memsz [all...] |
/seL4-refos-master/libs/libmuslc/src/env/ |
H A D | __init_tls.c | 124 main_tls.size = tls_phdr->p_memsz;
|
/seL4-refos-master/libs/libelf/include/elf/ |
H A D | elf32.h | 214 return elf32_getProgramHeaderTable(file)[ph].p_memsz;
|
H A D | elf64.h | 214 return elf64_getProgramHeaderTable(file)[ph].p_memsz;
|
/seL4-refos-master/projects/util_libs/libelf/include/elf/ |
H A D | elf32.h | 214 return elf32_getProgramHeaderTable(file)[ph].p_memsz;
|