since we have not requested locked vnode (LOCKLEAF is not used for namei() call), the vnode is returned unlocked, so we need to use vrele(), not vput() This fixes kern/11044.