Searched refs:exclaves_boot_wait (Results 1 – 5 of 5) sorted by relevance
328 exclaves_boot_wait(const exclaves_boot_stage_t desired_boot_stage) in exclaves_boot_wait() function400 kern_return_t kr = exclaves_boot_wait(EXCLAVES_BOOT_STAGE_EXCLAVECORE); in exclaves_get_status()
272 kr = exclaves_boot_wait(EXCLAVES_BOOT_STAGE_EXCLAVECORE); in _exclaves_ctl_trap()286 kr = exclaves_boot_wait(EXCLAVES_BOOT_STAGE_EXCLAVEKIT); in _exclaves_ctl_trap()
957 if (exclaves_boot_wait(EXCLAVES_BOOT_STAGE_EXCLAVEKIT) != KERN_SUCCESS) { in exclaves_conclave_launch()
1172 exclaves_boot_wait(exclaves_boot_stage_t);
3906 (exclaves_boot_wait(EXCLAVES_BOOT_STAGE_EXCLAVECORE) == KERN_SUCCESS)) { in posix_spawn()