Searched refs:exclaves_get_status (Results 1 – 7 of 7) 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()
409 exclaves_get_status(void) in exclaves_get_status() function483 exclaves_get_status(void) in exclaves_get_status() function
1278 if (exclaves_get_status() != EXCLAVES_STATUS_AVAILABLE) { in exclaves_hello_driverkit_interrupts()1359 if (exclaves_get_status() != EXCLAVES_STATUS_AVAILABLE) { in exclaves_hello_driverkit_multi_timers()
755 if (exclaves_get_status() != EXCLAVES_STATUS_AVAILABLE) { in exclaves_hello_upcall_test()
1207 exclaves_get_status(void);
139 if (exclaves_get_status() == EXCLAVES_STATUS_NOT_SUPPORTED) { in exclaveStart()
6699 int value = exclaves_get_status();