Searched defs:elf_getMemoryBounds (Results 1 - 6 of 6) sorted by relevance
| /seL4-refos-master/kernel/src/arch/x86/32/kernel/ |
| H A D | elf.c | 23 BOOT_CODE v_region_t elf_getMemoryBounds(Elf32_Header_t *elfFile) function
|
| /seL4-refos-master/kernel/src/arch/x86/64/kernel/ |
| H A D | elf.c | 22 BOOT_CODE v_region_t elf_getMemoryBounds(Elf64_Header_t *elf) function
|
| /seL4-refos-master/seL4_tools/elfloader-tool/src/binaries/elf/ |
| H A D | elf.c | 189 elf_getMemoryBounds(void *elfFile, int phys, uint64_t *min, uint64_t *max) function
|
| /seL4-refos-master/tools/elfloader/src/binaries/elf/ |
| H A D | elf.c | 189 elf_getMemoryBounds(void *elfFile, int phys, uint64_t *min, uint64_t *max) function
|
| /seL4-refos-master/libs/libelf/src/ |
| H A D | elf.c | 463 int elf_getMemoryBounds(elf_t *elfFile, elf_addr_type_t addr_type, uintptr_t *min, uintptr_t *max) function
|
| /seL4-refos-master/projects/util_libs/libelf/src/ |
| H A D | elf.c | 463 int elf_getMemoryBounds(elf_t *elfFile, elf_addr_type_t addr_type, uintptr_t *min, uintptr_t *max) function
|
Completed in 88 milliseconds