/is_sgx_available
