add device_node:{ chr_file blk_file } getattr;

This commit is contained in:
Chris PeBenito 2005-05-18 13:19:51 +00:00
parent 4d8ddf9a4f
commit c3dff2e0a2

View File

@ -74,6 +74,20 @@ type device_t;
class dir { getattr read search };
')
########################################
#
# devices_get_generic_block_device_attributes(domain)
#
define(`devices_get_generic_block_device_attributes',`
requires_block_template(`$0'_depend)
allow $1 device_t:dir { getattr search read };
allow $1 device_t:blk_file getattr;
')
define(`devices_get_generic_block_device_attributes_depend',`
type device_t;
class blk_file getattr;
')
########################################
#
@ -89,6 +103,21 @@ type device_t;
class blk_file getattr;
')
########################################
#
# devices_get_generic_character_device_attributes(domain)
#
define(`devices_get_generic_character_device_attributes',`
requires_block_template(`$0'_depend)
allow $1 device_t:dir { getattr search read };
allow $1 device_t:chr_file getattr;
')
define(`devices_get_generic_character_device_attributes_depend',`
type device_t;
class chr_file getattr;
')
########################################
#
# devices_ignore_get_generic_character_device_attributes(domain)