Type Definition sgx_libc::pthread_t

type pthread_t = *mut c_void;