The text e89f1a3f0079, as FreeBSD 11.3-RELEASE shipped it.
kernel counting semaphore
sema(9) on FreeBSD now