Searched refs:boot_stage (Results 1 – 2 of 2) sorted by relevance
297 exclaves_boot(exclaves_boot_stage_t boot_stage) in exclaves_boot() argument303 switch (boot_stage) { in exclaves_boot()
443 exclaves_boot(mach_port_t port, exclaves_boot_stage_t boot_stage);