[][src]Type Definition sgx_types::sgx_thread_t

type sgx_thread_t = uintptr_t;