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