/seL4-camkes-master/projects/musllibc/src/internal/ |
H A D | fdpic_crt.h | 14 uintptr_t addr, p_vaddr, p_memsz; member in struct:__anon363::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-camkes-master/projects/sel4runtime/include/sel4runtime/ |
H A D | elf.h | 64 Elf32_Word p_memsz; member in struct:__anon3 76 Elf64_Xword p_memsz; member in struct:__anon4
|
/seL4-camkes-master/tools/riscv-pk/pk/ |
H A D | elf.c | 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) { 77 if (vaddr + ph[i].p_memsz > info->brk_min) 78 info->brk_min = vaddr + ph[i].p_memsz; 88 if (ph[i].p_memsz > mapped) 89 if (__do_mmap(vaddr + mapped, ph[i].p_memsz - mapped, prot, flags|MAP_ANONYMOUS, 0, 0) != vaddr + mapped)
|
H A D | elf.h | 80 uint32_t p_memsz; member in struct:__anon801 132 uint64_t p_memsz; member in struct:__anon805
|
/seL4-camkes-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-camkes-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-camkes-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-camkes-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-camkes-master/projects/musllibc/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-camkes-master/tools/seL4/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-camkes-master/tools/seL4/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-camkes-master/projects/musllibc/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-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | start.c | 35 .p_memsz = tbss_end - tdata_start,
|
/seL4-camkes-master/projects/sel4runtime/src/ |
H A D | start_root.c | 54 .p_memsz = tbss_end - tdata_start,
|
H A D | env.c | 351 env.tls.memory_size = ROUND_UP(header->p_memsz, header->p_align);
|
/seL4-camkes-master/projects/musllibc/src/env/ |
H A D | __init_tls.c | 124 main_tls.size = tls_phdr->p_memsz;
|
/seL4-camkes-master/projects/util_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-camkes-master/projects/seL4_libs/libsel4utils/src/ |
H A D | elf.c | 561 .p_memsz = elf_getProgramHeaderMemorySize(elf_file, i),
|