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

/barrelfish-master/kernel/arch/armv8/boot/
H A Dboot_generic.c656 boot_bsp_init(uint32_t magic, lpaddr_t pointer) { function

Completed in 206 milliseconds