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