The text 19baa4e531ec, as FreeBSD 12.3-RELEASE shipped it.
kernel counting semaphore
sema_timedwait(9) on FreeBSD now
