Searched refs:rounded_image_size (Results 1 - 2 of 2) sorted by relevance
/seL4-refos-master/seL4_tools/elfloader-tool/src/ |
H A D | common.c | 118 static size_t rounded_image_size(void *elf, uint64_t *min_vaddr, uint64_t *max_vaddr) function 137 size_t image_size = rounded_image_size(elf, &min_vaddr, &max_vaddr); 399 total_user_image_size += rounded_image_size(user_elf, &min_vaddr, &max_vaddr);
|
/seL4-refos-master/tools/elfloader/src/ |
H A D | common.c | 118 static size_t rounded_image_size(void *elf, uint64_t *min_vaddr, uint64_t *max_vaddr) function 137 size_t image_size = rounded_image_size(elf, &min_vaddr, &max_vaddr); 399 total_user_image_size += rounded_image_size(user_elf, &min_vaddr, &max_vaddr);
|
Completed in 73 milliseconds