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

/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/
H A Dboot_sys.h24 paddr_t boot_module_start; /* physical address of first boot module */ member in struct:boot_state
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dboot_sys.c80 BOOT_CODE static paddr_t load_boot_module(word_t boot_module_start, paddr_t load_paddr) argument
84 Elf_Header_t *elf_file = (Elf_Header_t *)boot_module_start;
460 load_paddr = load_boot_module(boot_state.boot_module_start, load_paddr);
601 boot_state.boot_module_start = modules->start;
654 boot_state.boot_module_start = module->start;

Completed in 86 milliseconds