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

/seL4-refos-master/seL4_tools/elfloader-tool/src/
H A Dcommon.c81 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 Dcommon.c81 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