Searched refs:elf_load (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Delf.h22 void elf_load(Elf_Header_t* elfFile, seL4_Word offset);
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/kernel/
H A Delf.c60 elf_load(Elf32_Header_t* elfFile, seL4_Word offset) function
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/
H A Delf.c58 elf_load(Elf64_Header_t *elf, seL4_Word offset) function
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dboot_sys.c191 elf_load(elf_file, boot_state.ui_info.pv_offset);

Completed in 18 milliseconds