The text ef0fd6807c10, as FreeBSD 7.3-RELEASE shipped it.
kernel counting semaphore
sema_post(9) on FreeBSD now
