The text c1ae2cef4236, as Debian 10 (Buster) shipped it.
serialize access to a vnode
VOP_ISLOCKED(9freebsd) on Linux now
