The text 12e3e02451ab, as FreeBSD 8.3-RELEASE shipped it.
kernel counting semaphore
sema_post(9) on FreeBSD now
