Searched refs:image_size (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/seL4_tools/elfloader-tool/src/
H A Dcommon.c85 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 Dcommon.c85 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 Dshoehorn.py138 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 Dboot_sys.c63 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