Type Definition pthread_mutexattr_t
sgx_libc
type pthread_mutexattr_t = *mut sgx_thread_mutex_attr_t;