The text 0b2c1d8245bc, as Debian 7 (Wheezy) shipped it.
kernel shared/exclusive lock
sx_unlock(9freebsd) on Linux now
