-typedef struct __mutex__ mutex_t;
-
-#else /* MACH_KERNEL_PRIVATE */
-
-#define decl_mutex_data(class,name) class mutex_t name;
-#define mutex_addr(m) (&(m))
-
-extern void mutex_init(
- mutex_t *mutex,
- unsigned short tag);
-
-#endif /* MACH_KERNEL_PRIVATE */
-
-extern mutex_t *mutex_alloc(
- unsigned short tag);
-
-extern void mutex_free(
- mutex_t *mutex);
-
-extern void mutex_lock(
- mutex_t *mutex);
-
-extern void mutex_unlock(
- mutex_t *mutex);
-
-extern boolean_t mutex_try(
- mutex_t *mutex);
-
-extern void mutex_pause(void);
-
-#define MA_OWNED 0x01
-#define MA_NOTOWNED 0x02
-
-void _mutex_assert (
- mutex_t *mutex,
- unsigned int what);
-
-#define mutex_assert(a, b) _mutex_assert(a, b)
-
-#ifndef MACH_KERNEL_PRIVATE
-