The text 7a3f4e3b7dee, as FreeBSD 10.1-RELEASE shipped it.
kernel counting semaphore
sema_wait(9) on FreeBSD now
