The text 2e3bda8b3cba, as FreeBSD 12.4-RELEASE shipped it.
kernel counting semaphore
sema_wait(9) on FreeBSD now
