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