Type Definition sgx_types::sgx_thread_t[−][src]

type sgx_thread_t = uintptr_t;