Type Definition sgx_types::sgx_thread_t[][src]

type sgx_thread_t = uintptr_t;