The text b9b38f2bbff3, as Debian 10 (Buster) shipped it.
kernel shared/exclusive lock
sx_unlock(9freebsd) on Linux now
