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