The text edd455f9f8a1, as Debian 9 (Stretch) shipped it.
kernel shared/exclusive lock
sx_xholder(9freebsd) on Linux now