+extern void mutex_pause(uint32_t);
+
+extern void lck_mtx_yield (
+ lck_mtx_t *lck);
+
+#if defined(__i386__) || defined(__x86_64__)
+extern boolean_t lck_mtx_try_lock_spin(
+ lck_mtx_t *lck);
+
+extern boolean_t lck_mtx_try_lock_spin_always(
+ lck_mtx_t *lck);
+
+extern void lck_mtx_lock_spin_always(
+ lck_mtx_t *lck);
+
+extern void lck_mtx_lock_spin(
+ lck_mtx_t *lck);
+
+extern void lck_mtx_convert_spin(
+ lck_mtx_t *lck);
+
+extern boolean_t kdp_lck_mtx_lock_spin_is_acquired(
+ lck_mtx_t *lck);
+#define lck_mtx_unlock_always(l) lck_mtx_unlock(l)
+
+#else
+#define lck_mtx_try_lock_spin(l) lck_mtx_try_lock(l)
+#define lck_mtx_lock_spin(l) lck_mtx_lock(l)
+#define lck_mtx_try_lock_spin_always(l) lck_spin_try_lock(l)
+#define lck_mtx_lock_spin_always(l) lck_spin_lock(l)
+#define kdp_lck_mtx_lock_spin_is_acquired(l) kdp_lck_spin_is_acquired(l)
+#define lck_mtx_unlock_always(l) lck_spin_unlock(l)
+#define lck_mtx_convert_spin(l) do {} while (0)
+#endif
+
+extern boolean_t kdp_lck_rw_lock_is_acquired_exclusive(
+ lck_rw_t *lck);
+