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