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

/barrelfish-2018-10-04/tools/fastmodels/
H A Dmain.c168 uint64_t virt_base, uint64_t *loaded_size, uint64_t *alloc,
210 *loaded_size= limit - base + 1;
211 *alloc= ROUNDUP(*loaded_size, PAGE_4k);
319 uint64_t virt_base, uint64_t *loaded_size, uint64_t *alloc,
348 *loaded_size= limit - base + 1;
349 *alloc= ROUNDUP(*loaded_size, PAGE_4k);
167 load_cpudriver(Elf *kernel_elf, void *kernel_raw, size_t kernel_size, uint64_t virt_base, uint64_t *loaded_size, uint64_t *alloc, uint64_t *entry) argument
318 load_shim(Elf *shim_elf, void *shim_raw, size_t shim_size, uint64_t virt_base, uint64_t *loaded_size, uint64_t *alloc, uint64_t kernel_table, uint64_t kernel_stack_top, uint64_t multiboot, uint64_t entry, uint64_t *shim_entry, int quiet) argument
/barrelfish-2018-10-04/tools/arm_boot/
H A Darm_bootimage.c117 size_t loaded_size; member in struct:loaded_image
328 image->loaded_size= round_up(phdr->p_memsz, BASE_PAGE_SIZE);
329 image->loaded_paddr= phys_alloc(image->loaded_size, seg_align);
332 image->loaded_size,
358 loaded_segment= calloc(image->loaded_size, 1);
544 return add_blob(elf, name, image->segment, image->loaded_size,

Completed in 44 milliseconds