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

/seL4-refos-master/seL4_tools/elfloader-tool/src/
H A Dcommon.c236 paddr_t source_paddr; local
239 source_paddr = (paddr_t)elf32_getProgramHeaderTable(elf);
242 source_paddr = (paddr_t)elf64_getProgramHeaderTable(elf);
250 memcpy((void *)(dest_paddr + 8), (void *)source_paddr, phsize * phnum);
/seL4-refos-master/tools/elfloader/src/
H A Dcommon.c236 paddr_t source_paddr; local
239 source_paddr = (paddr_t)elf32_getProgramHeaderTable(elf);
242 source_paddr = (paddr_t)elf64_getProgramHeaderTable(elf);
250 memcpy((void *)(dest_paddr + 8), (void *)source_paddr, phsize * phnum);

Completed in 84 milliseconds