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()224 if (exclaves_get_status() != EXCLAVES_STATUS_AVAILABLE) { in exclaves_check_mem_usage_test()
398 exclaves_get_status(void) in exclaves_get_status() function472 exclaves_get_status(void) in exclaves_get_status() function
1213 if (exclaves_get_status() != EXCLAVES_STATUS_AVAILABLE) { in exclaves_hello_driverkit_interrupts()1294 if (exclaves_get_status() != EXCLAVES_STATUS_AVAILABLE) { in exclaves_hello_driverkit_multi_timers()
738 if (exclaves_get_status() != EXCLAVES_STATUS_AVAILABLE) { in exclaves_hello_upcall_test()
1126 exclaves_get_status(void);
138 if (exclaves_get_status() == EXCLAVES_STATUS_NOT_SUPPORTED) { in exclaveStart()
6262 int value = exclaves_get_status();