Searched refs:e_entry (Results 1 – 3 of 3) sorted by relevance

/seL4-master/include/arch/x86/arch/64/mode/kernel/
A D	elf.h	17 uint64_t e_entry; member
/seL4-master/include/arch/x86/arch/32/mode/kernel/
A D	elf.h	19 uint32_t e_entry; /* Code entry point */ member
/seL4-master/src/arch/x86/kernel/
A D	boot_sys.c	90 entry = elf_file->e_entry; in load_boot_module()

Completed in 6 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023