/* * Locate the in-kernel vnode based on the cookie received given * from userspace. * * returns 0 on success. otherwise returns an errno or PUFFS_NOSUCHCOOKIE. * * returns PUFFS_NOSUCHCOOKIE if no vnode for the cookie is found. */