arm: dts: rk3288-evb-rk818: set tsadc default pinctrl to gpio
[firefly-linux-kernel-4.4.55.git] / fs / pnode.h
index 623f01772bec34044803a7f25f1b5428f1739c2c..f41fc9a6c48eb205734b2cf5674d13f846172d46 100644 (file)
@@ -44,6 +44,7 @@ int propagate_mnt(struct mount *, struct mountpoint *, struct mount *,
 int propagate_umount(struct list_head *);
 int propagate_mount_busy(struct mount *, int);
 void propagate_mount_unlock(struct mount *);
+void propagate_remount(struct mount *);
 void mnt_release_group_id(struct mount *);
 int get_dominating_id(struct mount *mnt, const struct path *root);
 unsigned int mnt_get_count(struct mount *mnt);