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