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

/seL4-refos-master/seL4_tools/cmake-tool/helpers/
H A Dshoehorn.py138 image_size = os.path.getsize(image) variable
/seL4-refos-master/seL4_tools/elfloader-tool/src/
H A Dcommon.c85 size_t image_size; local
137 size_t image_size = rounded_image_size(elf, &min_vaddr, &max_vaddr); local
/seL4-refos-master/tools/elfloader/src/
H A Dcommon.c85 size_t image_size; local
137 size_t image_size = rounded_image_size(elf, &min_vaddr, &max_vaddr); local
/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

Completed in 103 milliseconds