Type Definition sgx_libc::pthread_mutex_t

type pthread_mutex_t = *mut sgx_thread_mutex_t;