Searched refs:exclaves_boot_wait (Results 1 – 5 of 5) sorted by relevance
319 exclaves_boot_wait(const exclaves_boot_stage_t desired_boot_stage) in exclaves_boot_wait() function391 kern_return_t kr = exclaves_boot_wait(EXCLAVES_BOOT_STAGE_2); in exclaves_get_status()
265 kr = exclaves_boot_wait(EXCLAVES_BOOT_STAGE_2); in _exclaves_ctl_trap()280 (void) exclaves_boot_wait(EXCLAVES_BOOT_STAGE_EXCLAVEKIT); in _exclaves_ctl_trap()
1361 if (exclaves_boot_wait(EXCLAVES_BOOT_STAGE_EXCLAVEKIT) != KERN_SUCCESS) { in exclaves_conclave_launch()
1049 exclaves_boot_wait(exclaves_boot_stage_t);
3858 (exclaves_boot_wait(EXCLAVES_BOOT_STAGE_EXCLAVEKIT) == KERN_SUCCESS)) { in posix_spawn()