The text 251c2f675cab, as FreeBSD 9.0-RELEASE shipped it.
kernel counting semaphore
sema_timedwait(9) on FreeBSD now
