The text d2ca50e60e7f, as FreeBSD 12.2-RELEASE shipped it.
kernel counting semaphore
sema_wait(9) on FreeBSD now
