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

/seL4-mcs-10.1.1/src/arch/x86/kernel/
H A Dboot_sys.c69 paddr_t boot_module_start; /* physical address of first boot module */ member in struct:boot_state
123 load_boot_module(word_t boot_module_start, paddr_t load_paddr) argument

Completed in 74 milliseconds