Searched refs:max_vaddr (Results 1 - 2 of 2) sorted by relevance
| /seL4-test-master/tools/seL4/elfloader-tool/src/ |
| H A D | common.c | 84 uint64_t min_vaddr, max_vaddr; local
90 elf_getMemoryBounds(elf, 0, &min_vaddr, &max_vaddr);
91 image_size = (size_t)(max_vaddr - min_vaddr);
118 static size_t rounded_image_size(void *elf, uint64_t *min_vaddr, uint64_t *max_vaddr) argument
120 elf_getMemoryBounds(elf, 0, min_vaddr, max_vaddr);
121 *max_vaddr = ROUND_UP(*max_vaddr, PAGE_BITS);
122 return (size_t)(*max_vaddr - *min_vaddr);
135 uint64_t min_vaddr, max_vaddr; local
137 size_t image_size = rounded_image_size(elf, &min_vaddr, &max_vaddr);
398 uint64_t min_vaddr, max_vaddr; local
[all...] |
| /seL4-test-master/tools/riscv-pk/pk/ |
| H A D | elf.c | 60 uintptr_t max_vaddr = 0; local
63 max_vaddr = MAX(max_vaddr, ph[i].p_vaddr + ph[i].p_memsz);
64 max_vaddr = ROUNDUP(max_vaddr, RISCV_PGSIZE);
|
Completed in 81 milliseconds