60 lines
1.2 KiB
Plaintext
60 lines
1.2 KiB
Plaintext
## <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;
|
|
')
|