## <summary>General Purpose Mouse driver</summary>

########################################
## <summary>
##	Get the attributes of the GPM
##	control channel named socket.
## </summary>
## <param name="domain">
##	Domain allowed access.
## </param>
#
interface(`gpm_getattr_gpmctl',`
	gen_require(`
		type gpmctl_t;
		class sock_file getattr;
	')

	dev_list_all_dev_nodes($1)
	allow $1 gpmctl_t:sock_file getattr;
')

########################################
## <summary>
##	Do not audit attempts to get the 
##	attributes of the GPM control channel
##	named socket.
## </summary>
## <param name="domain">
##	Domain allowed access.
## </param>
#
interface(`gpm_dontaudit_getattr_gpmctl',`
	gen_require(`
		type gpmctl_t;
		class sock_file getattr;
	')

	dev_list_all_dev_nodes($1)
	allow $1 gpmctl_t:sock_file getattr;
')

########################################
## <summary>
##	Set the attributes of the GPM
##	control channel named socket.
## </summary>
## <param name="domain">
##	Domain allowed access.
## </param>
#
interface(`gpm_setattr_gpmctl',`
	gen_require(`
		type gpmctl_t;
		class sock_file setattr;
	')

	dev_list_all_dev_nodes($1)
	allow $1 gpmctl_t:sock_file setattr;
')