Searched refs:exclaves_get_status (Results 1 – 8 of 8) sorted by relevance
62 if (exclaves_get_status() != EXCLAVES_STATUS_AVAILABLE) { in exclaves_hello_exclave_test()95 if (exclaves_get_status() != EXCLAVES_STATUS_AVAILABLE) { in exclaves_panic_exclave_test()225 if (exclaves_get_status() != EXCLAVES_STATUS_AVAILABLE) { in exclaves_check_mem_usage_test()
389 exclaves_get_status(void) in exclaves_get_status() function463 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()
311 if (exclaves_get_status() != EXCLAVES_STATUS_AVAILABLE) { in exclaves_hello_conclaves_test()
468 if (exclaves_get_status() != EXCLAVES_STATUS_AVAILABLE) { in exclaves_hello_upcall_test()
1003 exclaves_get_status(void);
136 if (exclaves_get_status() == EXCLAVES_STATUS_NOT_SUPPORTED) { in exclaveStart()
6223 int value = exclaves_get_status();