From: jwcart2@tycho.nsa.gov (James Carter)
Date: Wed, 11 Apr 2018 14:55:19 -0400
Subject: [refpolicy] [PATCH 2/8] Mark unused parameters as unused
In-Reply-To: <20180411185525.23486-1-jwcart2@tycho.nsa.gov>
References: <20180411185525.23486-1-jwcart2@tycho.nsa.gov>
Message-ID: <20180411185525.23486-3-jwcart2@tycho.nsa.gov>
To: refpolicy@oss.tresys.com
List-Id: refpolicy.oss.tresys.com

Marked unused parameters as unused in the interfaces listed below.

userdomain.if:userdom_ro_home_role()
userdomain.if:userdom_manage_home_role()
userdomain.if:userdom_manage_tmp_role()
userdomain.if:userdom_manage_tmpfs_role()

Signed-off-by: James Carter <jwcart2@tycho.nsa.gov>
---
 policy/modules/system/userdomain.if | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/policy/modules/system/userdomain.if b/policy/modules/system/userdomain.if
index 2ae61442..bb507459 100644
--- a/policy/modules/system/userdomain.if
+++ b/policy/modules/system/userdomain.if
@@ -157,7 +157,7 @@ template(`userdom_base_user_template',`
 ##	This does not allow execute access.
 ##	</p>
 ## </desc>
-## <param name="role">
+## <param name="role" unused="true">
 ##	<summary>
 ##	The user role
 ##	</summary>
@@ -228,7 +228,7 @@ interface(`userdom_ro_home_role',`
 ##	This does not allow execute access.
 ##	</p>
 ## </desc>
-## <param name="role">
+## <param name="role" unused="true">
 ##	<summary>
 ##	The user role
 ##	</summary>
@@ -300,7 +300,7 @@ interface(`userdom_manage_home_role',`
 ## <summary>
 ##	Manage user temporary files
 ## </summary>
-## <param name="role">
+## <param name="role" unused="true">
 ##	<summary>
 ##	Role allowed access.
 ##	</summary>
@@ -363,7 +363,7 @@ interface(`userdom_exec_user_tmp_files',`
 ##	This does not allow execute access.
 ##	</p>
 ## </desc>
-## <param name="role">
+## <param name="role" unused="true">
 ##	<summary>
 ##	Role allowed access.
 ##	</summary>
-- 
2.13.6