aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'policy/modules/kernel/devices.if')
-rw-r--r--policy/modules/kernel/devices.if18
1 files changed, 18 insertions, 0 deletions
diff --git a/policy/modules/kernel/devices.if b/policy/modules/kernel/devices.if
index d1536573..e8a4560d 100644
--- a/policy/modules/kernel/devices.if
+++ b/policy/modules/kernel/devices.if
@@ -4966,6 +4966,24 @@ interface(`dev_rw_generic_usb_dev',`
########################################
## <summary>
+## Delete the generic USB devices.
+## </summary>
+## <param name="domain">
+## <summary>
+## Domain allowed access.
+## </summary>
+## </param>
+#
+interface(`dev_delete_generic_usb_dev',`
+ gen_require(`
+ type device_t, usb_device_t;
+ ')
+
+ delete_chr_files_pattern($1, device_t, usb_device_t)
+')
+
+########################################
+## <summary>
## Relabel generic the USB devices.
## </summary>
## <param name="domain">