The text ec8cb0b0531e, as Debian 7 (Wheezy) shipped it.
kernel reader/writer lock
rwlock(9freebsd) on Linux now
