profile_bind_*mount(): New functions

1 files changed, 22 insertions, 0 deletions

diff --git a/lib/profile.sh b/lib/profile.sh
index d624ed8..5ec2309 100644
--- a/lib/profile.sh
+++ b/lib/profile.sh
@@ -133,6 +133,28 @@ profile_file_systems_mounted()
 	"prof_${profile}_file_systems_mounted" "${root}" "${arch}" "${plat}"
 }
 
+profile_bind_mount()
+{
+	local arch="${1}"
+	local plat="${2}"
+	local olddir="${3}"
+	local newdir="${4}"
+
+	"prof_${profile}_bind_mount" "${arch}" "${plat}" \
+		"${olddir}" "${newdir}"
+}
+
+profile_bind_umount()
+{
+	local arch="${1}"
+	local plat="${2}"
+	local olddir="${3}"
+	local newdir="${4}"
+
+	"prof_${profile}_bind_umount" "${arch}" "${plat}" \
+		"${olddir}" "${newdir}"
+}
+
 profile_configure_system_native()
 {
 	local root="${1}"