The text f50edd7fd7ed, as FreeBSD 11.4-RELEASE shipped it.
kernel counting semaphore
sema_timedwait(9) on FreeBSD now
