2005-08-17 21:28:31 +00:00
|
|
|
## <summary>General Purpose Mouse driver</summary>
|
|
|
|
|
2006-01-20 22:02:24 +00:00
|
|
|
########################################
|
|
|
|
## <summary>
|
|
|
|
## Connect to GPM over a unix domain
|
|
|
|
## stream socket.
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
2006-02-10 18:41:53 +00:00
|
|
|
## <summary>
|
2006-01-20 22:02:24 +00:00
|
|
|
## Domain allowed access.
|
2006-02-10 18:41:53 +00:00
|
|
|
## </summary>
|
2006-01-20 22:02:24 +00:00
|
|
|
## </param>
|
|
|
|
#
|
|
|
|
interface(`gpm_stream_connect',`
|
|
|
|
gen_require(`
|
|
|
|
type gpmctl_t, gpm_t;
|
|
|
|
')
|
|
|
|
|
2010-09-20 09:54:26 +00:00
|
|
|
stream_connect_pattern($1, gpmctl_t, gpmctl_t, gpm_t)
|
2006-01-20 22:02:24 +00:00
|
|
|
')
|
|
|
|
|
2005-08-17 21:28:31 +00:00
|
|
|
########################################
|
|
|
|
## <summary>
|
|
|
|
## Get the attributes of the GPM
|
|
|
|
## control channel named socket.
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
2006-02-10 18:41:53 +00:00
|
|
|
## <summary>
|
2005-08-17 21:28:31 +00:00
|
|
|
## Domain allowed access.
|
2006-02-10 18:41:53 +00:00
|
|
|
## </summary>
|
2005-08-17 21:28:31 +00:00
|
|
|
## </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">
|
2006-02-10 18:41:53 +00:00
|
|
|
## <summary>
|
2010-08-05 13:03:19 +00:00
|
|
|
## Domain to not audit.
|
2006-02-10 18:41:53 +00:00
|
|
|
## </summary>
|
2005-08-17 21:28:31 +00:00
|
|
|
## </param>
|
|
|
|
#
|
|
|
|
interface(`gpm_dontaudit_getattr_gpmctl',`
|
|
|
|
gen_require(`
|
|
|
|
type gpmctl_t;
|
|
|
|
')
|
|
|
|
|
2005-09-23 19:38:34 +00:00
|
|
|
dontaudit $1 gpmctl_t:sock_file getattr;
|
2005-08-17 21:28:31 +00:00
|
|
|
')
|
|
|
|
|
|
|
|
########################################
|
|
|
|
## <summary>
|
|
|
|
## Set the attributes of the GPM
|
|
|
|
## control channel named socket.
|
|
|
|
## </summary>
|
|
|
|
## <param name="domain">
|
2006-02-10 18:41:53 +00:00
|
|
|
## <summary>
|
2005-08-17 21:28:31 +00:00
|
|
|
## Domain allowed access.
|
2006-02-10 18:41:53 +00:00
|
|
|
## </summary>
|
2005-08-17 21:28:31 +00:00
|
|
|
## </param>
|
|
|
|
#
|
|
|
|
interface(`gpm_setattr_gpmctl',`
|
|
|
|
gen_require(`
|
|
|
|
type gpmctl_t;
|
|
|
|
')
|
|
|
|
|
|
|
|
dev_list_all_dev_nodes($1)
|
|
|
|
allow $1 gpmctl_t:sock_file setattr;
|
|
|
|
')
|