Searched refs:image_size (Results 1 - 4 of 4) sorted by relevance
/seL4-refos-master/seL4_tools/elfloader-tool/src/ |
H A D | common.c | 85 size_t image_size; local 91 image_size = (size_t)(max_vaddr - min_vaddr); 95 memset((char *)dest_paddr, 0, image_size); 137 size_t image_size = rounded_image_size(elf, &min_vaddr, &max_vaddr); local 199 printf(" paddr=[%lx..%lx]\n", dest_paddr, dest_paddr + image_size - 1); 216 ensure_phys_range_valid(name, dest_paddr, dest_paddr + image_size); 223 info->phys_region_end = dest_paddr + image_size; 230 dest_paddr = ROUND_UP(dest_paddr + image_size, PAGE_BITS);
|
/seL4-refos-master/tools/elfloader/src/ |
H A D | common.c | 85 size_t image_size; local 91 image_size = (size_t)(max_vaddr - min_vaddr); 95 memset((char *)dest_paddr, 0, image_size); 137 size_t image_size = rounded_image_size(elf, &min_vaddr, &max_vaddr); local 199 printf(" paddr=[%lx..%lx]\n", dest_paddr, dest_paddr + image_size - 1); 216 ensure_phys_range_valid(name, dest_paddr, dest_paddr + image_size); 223 info->phys_region_end = dest_paddr + image_size; 230 dest_paddr = ROUND_UP(dest_paddr + image_size, PAGE_BITS);
|
/seL4-refos-master/seL4_tools/cmake-tool/helpers/ |
H A D | shoehorn.py | 138 image_size = os.path.getsize(image) variable 213 if (image_start_address + image_size) <= region['end']: 220 .format(image=image, size=image_size, yaml=platform), status=1)
|
/seL4-refos-master/kernel/src/arch/x86/kernel/ |
H A D | boot_sys.c | 63 BOOT_CODE static paddr_t find_load_paddr(paddr_t min_paddr, word_t image_size) argument 72 if (region_size >= image_size) {
|
Completed in 35 milliseconds