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