-extern kern_return_t semaphore_signal (semaphore_t semaphore);
-extern kern_return_t semaphore_signal_all (semaphore_t semaphore);
-extern kern_return_t semaphore_signal_thread (semaphore_t semaphore,
- thread_act_t thread_act);
+#include <sys/cdefs.h>
+__BEGIN_DECLS
+
+extern kern_return_t semaphore_signal(semaphore_t semaphore);
+extern kern_return_t semaphore_signal_all(semaphore_t semaphore);
+
+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);
+
+extern kern_return_t semaphore_signal_thread(semaphore_t semaphore,
+ thread_t thread);
+
+#endif /* XNU_KERNEL_PRIVATE */
+
+#else /* KERNEL */