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