return __follow_down(mnt,dentry); 
struct vfsmount *mounted;  mounted = lookup_mnt(*mnt, *dentry); if (mounted) { dput(*dentry); mntput(*mnt); *mnt = mounted; *dentry = dget(mounted->mnt_root); return 1; } return 0; 
int follow_down(struct vfsmount **mnt, struct dentry **dentry){	return __follow_down(mnt,dentry);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e13b210f6f7bdc44dfee0a9bbd633a32db0d6333/namei.c/buggy/fs/namei.c