//
// Copyright (c) 2016-present, Facebook, Inc.
// All rights reserved.
//
// This source code is licensed under the BSD-style license found in the
// LICENSE file in the root directory of this source tree. An additional grant
// of patent rights can be found in the PATENTS file in the same directory.
//

#import <Foundation/Foundation.h>

NS_ASSUME_NONNULL_BEGIN

typedef __attribute__((capability("mutex"))) pthread_mutex_t *IDVMutex;

extern IDVMutex IDVMutexInitRecursive(void);
extern void IDVMutexDestroy(IDVMutex mutex);

extern void IDVMutexLock(IDVMutex mutex) __attribute__((acquire_capability(mutex)));
extern void IDVMutexUnlock(IDVMutex mutex) __attribute__((release_capability(mutex)));

NS_ASSUME_NONNULL_END
