This is xnu-12377.1.9. See this file in:
_semaphore_timedwait