The text 4441f30ec197, as FreeBSD 10.0-RELEASE shipped it.
kernel counting semaphore
sema_timedwait(9) on FreeBSD now
