The text 03fcbb466a17, as FreeBSD 9.2-RELEASE shipped it.
kernel counting semaphore
sema_wait(9) on FreeBSD now
