## <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)
')