81 lines
1.5 KiB
Plaintext
81 lines
1.5 KiB
Plaintext
## <summary>General Purpose Mouse driver</summary>
|
|
|
|
########################################
|
|
## <summary>
|
|
## Connect to GPM over a unix domain
|
|
## stream socket.
|
|
## </summary>
|
|
## <param name="domain">
|
|
## <summary>
|
|
## Domain allowed access.
|
|
## </summary>
|
|
## </param>
|
|
#
|
|
interface(`gpm_stream_connect',`
|
|
gen_require(`
|
|
type gpmctl_t, gpm_t;
|
|
')
|
|
|
|
stream_connect_pattern($1, gpmctl_t, gpmctl_t, gpm_t)
|
|
')
|
|
|
|
########################################
|
|
## <summary>
|
|
## Get the attributes of the GPM
|
|
## control channel named socket.
|
|
## </summary>
|
|
## <param name="domain">
|
|
## <summary>
|
|
## Domain allowed access.
|
|
## </summary>
|
|
## </param>
|
|
#
|
|
interface(`gpm_getattr_gpmctl',`
|
|
gen_require(`
|
|
type gpmctl_t;
|
|
')
|
|
|
|
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">
|
|
## <summary>
|
|
## Domain to not audit.
|
|
## </summary>
|
|
## </param>
|
|
#
|
|
interface(`gpm_dontaudit_getattr_gpmctl',`
|
|
gen_require(`
|
|
type gpmctl_t;
|
|
')
|
|
|
|
dontaudit $1 gpmctl_t:sock_file getattr;
|
|
')
|
|
|
|
########################################
|
|
## <summary>
|
|
## Set the attributes of the GPM
|
|
## control channel named socket.
|
|
## </summary>
|
|
## <param name="domain">
|
|
## <summary>
|
|
## Domain allowed access.
|
|
## </summary>
|
|
## </param>
|
|
#
|
|
interface(`gpm_setattr_gpmctl',`
|
|
gen_require(`
|
|
type gpmctl_t;
|
|
')
|
|
|
|
dev_list_all_dev_nodes($1)
|
|
allow $1 gpmctl_t:sock_file setattr;
|
|
')
|