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

/barrelfish-2018-10-04/tools/fastmodels/
H A Dtest_mkmb.c125 size_t elf_size= mod_tag->mod_end - mod_tag->mod_start + 1; local
127 Elf *elf= elf_memory(elf_data, elf_size);
/barrelfish-2018-10-04/usr/drivers/cpuboot/arch/armv8/
H A Dboot_arch.c689 size_t elf_size = ROUND_UP(elf_virtual_size(boot_binary.vaddr), local
693 err = cpu_memory_alloc(elf_size, &boot_mem);
703 elf_size = ROUND_UP(elf_virtual_size(cpu_binary.vaddr), config.arch_page_size);
706 err = cpu_memory_alloc(elf_size, &cpu_mem);
714 elf_size = ROUND_UP(elf_virtual_size(monitor_binary.vaddr), config.arch_page_size);
717 err = app_memory_alloc(elf_size + ARMV8_CORE_DATA_PAGES * config.arch_page_size,

Completed in 35 milliseconds