Reference

sx_xlocked(9) on FreeBSD

The text dbcc2dab783e, as FreeBSD 7.0-RELEASE shipped it.

kernel shared/exclusive lock

sx_xlocked(9) on FreeBSD now