mnt->mnt_flags |= MNT_SHARED; 
set_mnt_shared(mnt); 
void change_mnt_propagation(struct vfsmount *mnt, int type){	if (type == MS_SHARED) {		mnt->mnt_flags |= MNT_SHARED;	} else {		list_del_init(&mnt->mnt_share);		mnt->mnt_flags &= ~MNT_PNODE_MASK;	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/b90fa9ae8f51f098ee480bbaabd6867992e9fc58/pnode.c/clean/fs/pnode.c