summaryrefslogtreecommitdiffstats
path: root/gps_device.if
diff options
context:
space:
mode:
Diffstat (limited to 'gps_device.if')
-rw-r--r--gps_device.if85
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)
+')
+
+