+
+extern kern_return_t semaphore_wait (semaphore_t semaphore);
+
+#ifdef KERNEL
+
+#ifdef __LP64__
+
+#ifdef KERNEL_PRIVATE
+
+extern kern_return_t semaphore_timedwait (semaphore_t semaphore,
+ mach_timespec_t wait_time);
+
+#endif /* KERNEL_PRIVATE */
+
+#else /* __LP64__ */
+
+extern kern_return_t semaphore_timedwait (semaphore_t semaphore,
+ mach_timespec_t wait_time);
+
+#endif /* __LP64__ */
+
+extern kern_return_t semaphore_wait_deadline (semaphore_t semaphore,
+ uint64_t deadline);
+extern kern_return_t semaphore_wait_noblock (semaphore_t semaphore);
+
+#ifdef XNU_KERNEL_PRIVATE
+
+extern kern_return_t semaphore_wait_signal (semaphore_t wait_semaphore,
+ semaphore_t signal_semaphore);
+
+extern kern_return_t semaphore_timedwait_signal(semaphore_t wait_semaphore,
+ semaphore_t signal_semaphore,
+ mach_timespec_t wait_time);
+