Searched defs:min_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
118 static size_t rounded_image_size(void *elf, uint64_t *min_vaddr, uint64_t *max_vaddr) argument
135 uint64_t min_vaddr, max_vaddr; local
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
118 static size_t rounded_image_size(void *elf, uint64_t *min_vaddr, uint64_t *max_vaddr) argument
135 uint64_t min_vaddr, max_vaddr; local
398 uint64_t min_vaddr, max_vaddr; local
[all...] |
Completed in 32 milliseconds