void umount_tree(struct vfsmount *mnt, struct list_head *kill) 
void umount_tree(struct vfsmount *mnt, int propagate, struct list_head *kill) 
void umount_tree(struct vfsmount *mnt, struct list_head *kill){	struct vfsmount *p;	for (p = mnt; p; p = next_mnt(p, mnt)) {		list_del(&p->mnt_hash);		list_add(&p->mnt_hash, kill);	}	list_for_each_entry(p, kill, mnt_hash) {		list_del_init(&p->mnt_expire);		list_del_init(&p->mnt_list);		__touch_namespace(p->mnt_namespace);		p->mnt_namespace = NULL;		list_del_init(&p->mnt_child);		if (p->mnt_parent != p)			mnt->mnt_mountpoint->d_mounted--;	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a05964f3917c7c55368c229d7985f8e7c9977e97/namespace.c/clean/fs/namespace.c