witness_is_owned
witness_is_owned(&vp->v_vnlock->lock_object) == -1);
witness_is_owned(&vp->v_vnlock->lock_object) == 1;
int witness_is_owned(const struct lock_object *lock);