Searched refs:total_user_image_size (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/seL4_tools/elfloader-tool/src/
H A Dcommon.c394 int total_user_image_size = 0; local
399 total_user_image_size += rounded_image_size(user_elf, &min_vaddr, &max_vaddr);
401 total_user_image_size += KEEP_HEADERS_SIZE;
406 next_phys_addr = ROUND_DOWN(memory_region[0].end, PAGE_BITS) - ROUND_UP(total_user_image_size, PAGE_BITS);
/seL4-refos-master/tools/elfloader/src/
H A Dcommon.c394 int total_user_image_size = 0; local
399 total_user_image_size += rounded_image_size(user_elf, &min_vaddr, &max_vaddr);
401 total_user_image_size += KEEP_HEADERS_SIZE;
406 next_phys_addr = ROUND_DOWN(memory_region[0].end, PAGE_BITS) - ROUND_UP(total_user_image_size, PAGE_BITS);

Completed in 29 milliseconds