The text 128bc126549b, as FreeBSD 8.1-RELEASE shipped it.
kernel counting semaphore
sema_wait(9) on FreeBSD now
