The text a47a3c8c07a6, as FreeBSD 10.2-RELEASE shipped it.
kernel shared/exclusive lock
sx_xlocked(9) on FreeBSD now