Searched refs:exclaves_get_status (Results 1 – 9 of 9) sorted by relevance
59 if (exclaves_get_status() != EXCLAVES_STATUS_AVAILABLE) { in exclaves_hello_exclave_test()109 if (exclaves_get_status() != EXCLAVES_STATUS_AVAILABLE) { in exclaves_panic_exclave_test()163 if (exclaves_get_status() != EXCLAVES_STATUS_AVAILABLE) { in exclaves_hello_tightbeam_test()357 if (exclaves_get_status() != EXCLAVES_STATUS_AVAILABLE) { in exclaves_check_mem_usage_test()
375 exclaves_get_status(void) in exclaves_get_status() function415 exclaves_get_status(void) in exclaves_get_status() function
670 if (exclaves_get_status() != EXCLAVES_STATUS_AVAILABLE) { in exclaves_hello_driverkit_interrupts()751 if (exclaves_get_status() != EXCLAVES_STATUS_AVAILABLE) { in exclaves_hello_driverkit_multi_timers()
312 if (exclaves_get_status() != EXCLAVES_STATUS_AVAILABLE) { in exclaves_hello_conclaves_test()
451 if (exclaves_get_status() != EXCLAVES_STATUS_AVAILABLE) { in exclaves_hello_upcall_test()
932 exclaves_get_status(void);
133 if (exclaves_get_status() == EXCLAVES_STATUS_NOT_SUPPORTED) { in exclaveStart()
3821 (exclaves_get_status() == EXCLAVES_STATUS_AVAILABLE)) { in posix_spawn()
6119 int value = exclaves_get_status();