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

/barrelfish-master/include/
H A Dgrubmenu.h24 struct menu_module boot_driver; member in struct:menu_lst
/barrelfish-master/tools/armv8_bootimage/
H A Defi_loader.c87 typedef void boot_driver(uint32_t magic, void *pointer); typedef
423 EFI_PHYSICAL_ADDRESS boot_driver; local
H A Darmv8_bootimage.c240 struct multiboot_tag_module_64 *boot_driver = local
[all...]
/barrelfish-master/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 60 milliseconds