diff options
Diffstat (limited to 'policy/modules/kernel/devices.if')
| -rw-r--r-- | policy/modules/kernel/devices.if | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/policy/modules/kernel/devices.if b/policy/modules/kernel/devices.if index 3625e8c9..344d858c 100644 --- a/policy/modules/kernel/devices.if +++ b/policy/modules/kernel/devices.if @@ -3362,6 +3362,24 @@ interface(`dev_setattr_mouse_dev',` ######################################## ## <summary> +## Delete the mouse devices. +## </summary> +## <param name="domain"> +## <summary> +## Domain allowed access. +## </summary> +## </param> +# +interface(`dev_delete_mouse_dev',` + gen_require(` + type device_t, mouse_device_t; + ') + + delete_chr_files_pattern($1, device_t, mouse_device_t) +') + +######################################## +## <summary> ## Read the mouse devices. ## </summary> ## <param name="domain"> |