-kern_return_t semaphore_timedwait_signal (
- mach_port_t wait_semaphore,
- mach_port_t signal_semaphore,
- mach_timespec_t wait_time)
+kern_return_t
+semaphore_timedwait_signal(mach_port_t wait_semaphore,
+ mach_port_t signal_semaphore,
+ mach_timespec_t wait_time)