Searched defs:elf (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/seL4/src/arch/x86/64/kernel/
H A Delf.c10 BOOT_CODE bool_t elf_checkFile(Elf64_Header_t *elf) argument
22 BOOT_CODE v_region_t elf_getMemoryBounds(Elf64_Header_t *elf) argument
49 elf_load(Elf64_Header_t *elf, seL4_Word offset) argument
[all...]
/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A Ddecompile.py48 elf = os.path.abspath(args.filename) variable

Completed in 50 milliseconds