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