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

/barrelfish-2018-10-04/usr/drivers/cpuboot/arch/armv8/
H A Dboot_arch.c485 load_boot_and_cpu_driver(struct arch_config *cfg, struct module_blob *boot_driver, struct mem_info *boot_mem, struct module_blob *cpu_driver, struct mem_info *cpu_mem, genvaddr_t *ret_boot_entry, genvaddr_t *ret_cpu_entry) argument

Completed in 77 milliseconds