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