Searched refs:min_vaddr (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/seL4_tools/elfloader-tool/src/
H A Dcommon.c84 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);
92 phys_virt_offset = dest_paddr - (paddr_t)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);
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);
200 printf(" vaddr=[%lx..%lx]\n", (vaddr_t)min_vaddr, (vaddr_
398 uint64_t min_vaddr, max_vaddr; local
[all...]
/seL4-refos-master/tools/elfloader/src/
H A Dcommon.c84 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);
92 phys_virt_offset = dest_paddr - (paddr_t)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);
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);
200 printf(" vaddr=[%lx..%lx]\n", (vaddr_t)min_vaddr, (vaddr_
398 uint64_t min_vaddr, max_vaddr; local
[all...]

Completed in 44 milliseconds