The text 097b465bdb2b, as FreeBSD 12.0-RELEASE shipped it.
kernel counting semaphore
sema_wait(9) on FreeBSD now
