Searched defs: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
130 static paddr_t load_elf(const char *name, void *elf, paddr_t dest_paddr, argument
[all...]
/seL4-refos-master/tools/elfloader/src/
H A Dcommon.c81 static void unpack_elf_to_paddr(void *elf, paddr_t dest_paddr) argument
130 static paddr_t load_elf(const char *name, void *elf, paddr_t dest_paddr, argument
[all...]

Completed in 24 milliseconds