Type Definition sgx_tstd::os::raw::pthread_t

type pthread_t = *mut c_void;