void __mntput(struct vfsmount *mnt) 
static inline void __mntput(struct vfsmount *mnt) 
void __mntput(struct vfsmount *mnt){	struct super_block *sb = mnt->mnt_sb;	dput(mnt->mnt_root);	free_vfsmnt(mnt);	deactivate_super(sb);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/7b7b1ace2d9d06d76bce7481a045c22ed75e35dd/namespace.c/buggy/fs/namespace.c