sema_value(9) on FreeBSD

The text 3600cdde3e4a, as FreeBSD 13.2-RELEASE, FreeBSD 13.1-RELEASE, FreeBSD 13.0-RELEASE shipped it.

kernel counting semaphore

sema_value(9) on FreeBSD now