Searched refs:dest_paddr (Results 1 - 2 of 2) sorted by relevance
/seL4-refos-master/seL4_tools/elfloader-tool/src/ |
H A D | common.c | 81 static void unpack_elf_to_paddr(void *elf, paddr_t dest_paddr) argument 92 phys_virt_offset = dest_paddr - (paddr_t)min_vaddr; 95 memset((char *)dest_paddr, 0, image_size); 130 static paddr_t load_elf(const char *name, void *elf, paddr_t dest_paddr, argument 140 if (!IS_ALIGNED(dest_paddr, PAGE_BITS)) { 147 if (!IS_ALIGNED(dest_paddr, 2)) { 199 printf(" paddr=[%lx..%lx]\n", dest_paddr, dest_paddr + image_size - 1); 216 ensure_phys_range_valid(name, dest_paddr, dest_paddr [all...] |
/seL4-refos-master/tools/elfloader/src/ |
H A D | common.c | 81 static void unpack_elf_to_paddr(void *elf, paddr_t dest_paddr) argument 92 phys_virt_offset = dest_paddr - (paddr_t)min_vaddr; 95 memset((char *)dest_paddr, 0, image_size); 130 static paddr_t load_elf(const char *name, void *elf, paddr_t dest_paddr, argument 140 if (!IS_ALIGNED(dest_paddr, PAGE_BITS)) { 147 if (!IS_ALIGNED(dest_paddr, 2)) { 199 printf(" paddr=[%lx..%lx]\n", dest_paddr, dest_paddr + image_size - 1); 216 ensure_phys_range_valid(name, dest_paddr, dest_paddr [all...] |
Completed in 81 milliseconds