diff options
Diffstat (limited to 'gps_device.if')
-rw-r--r-- | gps_device.if | 85 |
1 files changed, 85 insertions, 0 deletions
diff --git a/gps_device.if b/gps_device.if new file mode 100644 index 0000000..71e904a --- /dev/null +++ b/gps_device.if @@ -0,0 +1,85 @@ +## <summary>GPS device file type</summary> +## <desc> +## <p> +## This module just defines gps_device_t, +## by copying the definition of usb_device_t +# from the reference policy. +## </p> +## </desc> +# + + +######################################## +## <summary> +## Getattr generic the GPS devices. +## </summary> +## <param name="domain"> +## <summary> +## Domain allowed access. +## </summary> +## </param> +# +interface(`gps_device_getattr_gps_dev',` + gen_require(` + type gps_device_t; + ') + + getattr_chr_files_pattern($1, device_t, gps_device_t) +') + +######################################## +## <summary> +## Setattr generic the GPS devices. +## </summary> +## <param name="domain"> +## <summary> +## Domain allowed access. +## </summary> +## </param> +# +interface(`gps_device_setattr_gps_dev',` + gen_require(` + type gps_device_t; + ') + + setattr_chr_files_pattern($1, device_t, gps_device_t) +') + +######################################## +## <summary> +## Read generic the GPS devices. +## </summary> +## <param name="domain"> +## <summary> +## Domain allowed access. +## </summary> +## </param> +# +interface(`gps_device_read_gps_dev',` + gen_require(` + type gps_device_t; + ') + + read_chr_files_pattern($1, device_t, gps_device_t) +') + +######################################## +## <summary> +## Read and write generic the GPS devices. +## </summary> +## <param name="domain"> +## <summary> +## Domain allowed access. +## </summary> +## </param> +# +interface(`gps_device_rw_gps_dev',` + gen_require(` + type device_t; + type gps_device_t; + ') + + rw_chr_files_pattern($1, device_t, gps_device_t) +') + + |