return root_mnt;
 }
 
-static void nfs_fix_devname(struct dentry *dentry, struct vfsmount *mnt)
-{
-       char *page = (char *) __get_free_page(GFP_KERNEL);
-       char *devname, *tmp;
-       char *dummy;
-
-       if (page == NULL)
-               return;
-       devname = nfs_path(&dummy, dentry, page, PAGE_SIZE);
-       if (IS_ERR(devname))
-               goto out_freepage;
-       tmp = kstrdup(devname, GFP_KERNEL);
-       if (tmp == NULL)
-               goto out_freepage;
-       kfree(mnt->mnt_devname);
-       mnt->mnt_devname = tmp;
-out_freepage:
-       free_page((unsigned long)page);
-}
-
 struct nfs_referral_count {
        struct list_head list;
        const struct task_struct *task;
        mnt_target->mnt_sb = s;
        mnt_target->mnt_root = dget(nd->path.dentry);
 
-       /* Correct the device pathname */
-       nfs_fix_devname(nd->path.dentry, mnt_target);
-
        path_put(&nd->path);
        kfree(nd);
        down_write(&s->s_umount);