The text a2a89eb77fdd, as Debian 6.0 (Squeeze) shipped it.
kernel shared/exclusive lock
sx_xlocked(9freebsd) on Linux now
