Home
last modified time | relevance | path

Searched refs:phdr (Results 1 – 2 of 2) sorted by relevance

/seL4-master/src/arch/x86/32/kernel/
A Delf.c25 Elf32_Phdr_t *phdr = (Elf32_Phdr_t *)((paddr_t)elfFile + elfFile->e_phoff); in elf_getMemoryBounds() local
36 if (phdr[i].p_memsz > 0) { in elf_getMemoryBounds()
37 sect_start = phdr[i].p_vaddr; in elf_getMemoryBounds()
38 sect_end = sect_start + phdr[i].p_memsz; in elf_getMemoryBounds()
53 Elf32_Phdr_t *phdr = (Elf32_Phdr_t *)((paddr_t)elfFile + elfFile->e_phoff); in elf_load() local
61 src = (paddr_t)elfFile + phdr[i].p_offset; in elf_load()
62 dst = phdr[i].p_vaddr + offset; in elf_load()
63 len = phdr[i].p_filesz; in elf_load()
66 memset((void *)dst, 0, phdr[i].p_memsz - len); in elf_load()
/seL4-master/src/arch/x86/64/kernel/
A Delf.c28 Elf64_Phdr_t *phdr = (Elf64_Phdr_t *)((paddr_t)elf + elf->e_phoff); in elf_getMemoryBounds() local
34 if (phdr[i].p_memsz > 0) { in elf_getMemoryBounds()
35 sect_start = phdr[i].p_vaddr; in elf_getMemoryBounds()
36 sect_end = sect_start + phdr[i].p_memsz; in elf_getMemoryBounds()
55 Elf64_Phdr_t *phdr = (Elf64_Phdr_t *)((paddr_t)elf + elf->e_phoff); in elf_load() local
58 src = (paddr_t)elf + phdr[i].p_offset; in elf_load()
59 dst = phdr[i].p_vaddr + offset; in elf_load()
60 len = phdr[i].p_filesz; in elf_load()
63 memset((void *)dst, 0, phdr[i].p_memsz - len); in elf_load()

Completed in 4 milliseconds