Searched refs:max_vaddr (Results 1 - 2 of 2) sorted by relevance
/seL4-refos-master/seL4_tools/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-refos-master/tools/elfloader/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...] |
Completed in 30 milliseconds