Type Definition sgx_libc::pthread_cond_t

type pthread_cond_t = *mut sgx_thread_cond_t;