Type Definition sgx_types::sgx_thread_t [] [src]

type sgx_thread_t = uintptr_t;