Searched refs:exclaves_boot_wait (Results 1 – 5 of 5) sorted by relevance
339 exclaves_boot_wait(const exclaves_boot_stage_t desired_boot_stage) in exclaves_boot_wait() function411 kern_return_t kr = exclaves_boot_wait(EXCLAVES_BOOT_STAGE_EXCLAVECORE); in exclaves_get_status()
273 kr = exclaves_boot_wait(EXCLAVES_BOOT_STAGE_EXCLAVECORE); in _exclaves_ctl_trap()287 kr = exclaves_boot_wait(EXCLAVES_BOOT_STAGE_EXCLAVEKIT); in _exclaves_ctl_trap()
1078 if (exclaves_boot_wait(EXCLAVES_BOOT_STAGE_EXCLAVEKIT) != KERN_SUCCESS) { in exclaves_conclave_launch()
1244 exclaves_boot_wait(exclaves_boot_stage_t);
3987 (exclaves_boot_wait(EXCLAVES_BOOT_STAGE_EXCLAVECORE) == KERN_SUCCESS)) { in posix_spawn()