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