Searched refs:loaded_size (Results 1 - 2 of 2) sorted by relevance
/barrelfish-2018-10-04/tools/fastmodels/ |
H A D | main.c | 168 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 D | arm_bootimage.c | 117 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