res = 1; 
static int follow_mount(struct vfsmount **mnt, struct dentry **dentry){	int res = 0;	while (d_mountpoint(*dentry)) {		struct vfsmount *mounted = lookup_mnt(*mnt, *dentry);		if (!mounted)			break;		mntput(*mnt);		*mnt = mounted;		dput(*dentry);		*dentry = dget(mounted->mnt_root);		res = 1;	}	return res;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/58c465eba4d7ed307c4c7cb3382ba7ee565e8858/namei.c/buggy/fs/namei.c