![bjh21](/assets/img/avatar_default.png)
prevents us losing the locked state of the old vnode. fvdl thinks the old vnode is certain to be locked at this point. I've put in a KASSERT to be on the safe side. This seems to fix PR kern/12661.
prevents us losing the locked state of the old vnode. fvdl thinks the old vnode is certain to be locked at this point. I've put in a KASSERT to be on the safe side. This seems to fix PR kern/12661.