# Copyright (C) 2005 Tresys Technology, LLC

########################################
#
# storage_raw_read_fixed_disk(domain,[`optional'])
#
define(`storage_raw_read_fixed_disk',`
requires_block_template(storage_raw_read_fixed_disk_depend,$2)
typeattribute $1 fixed_disk_raw_read;
devices_list_device_nodes($1,optional)
allow $1 fixed_disk_device_t:blk_file { getattr read ioctl };
')

define(`storage_raw_read_fixed_disk_depend',`
type fixed_disk_device_t;
attribute fixed_disk_raw_read;
class blk_file { getattr read ioctl };
devices_list_device_nodes_depend
')

########################################
#
# storage_raw_write_fixed_disk(domain,[`optional'])
#
define(`storage_raw_write_fixed_disk',`
requires_block_template(storage_raw_write_fixed_disk_depend,$2)
typeattribute $1 fixed_disk_raw_write;
devices_list_device_nodes($1,optional)
allow $1 fixed_disk_device_t:blk_file { getattr write ioctl };
')

define(`storage_raw_write_fixed_disk_depend',`
type fixed_disk_device_t;
attribute fixed_disk_raw_write;
class blk_file { getattr write ioctl };
devices_list_device_nodes_depend
')

########################################
#
# storage_get_fixed_disk_attributes(domain,[`optional'])
#
define(`storage_get_fixed_disk_attributes',`
requires_block_template(storage_get_fixed_disk_attributes_depend,$2)
devices_list_device_nodes($1,optional)
allow $1 fixed_disk_device_t:blk_file getattr;
')

define(`storage_get_fixed_disk_attributes_depend',`
type fixed_disk_device_t;
class blk_file getattr;
devices_list_device_nodes_depend
')

########################################
#
# storage_set_fixed_disk_attributes(domain,[`optional'])
#
define(`storage_set_fixed_disk_attributes',`
requires_block_template(storage_set_fixed_disk_attributes_depend,$2)
devices_list_device_nodes($1,optional)
allow $1 fixed_disk_device_t:blk_file setattr;
')

define(`storage_set_fixed_disk_attributes_depend',`
type fixed_disk_device_t;
class blk_file setattr;
devices_list_device_nodes_depend
')

########################################
#
# storage_read_scsi_generic(domain,[`optional'])
#
define(`storage_read_scsi_generic',`
requires_block_template(storage_read_scsi_generic_depend,$2)
typeattribute $1 scsi_generic_read;
devices_list_device_nodes($1,optional)
allow $1 scsi_generic_device_t:blk_file { getattr read ioctl };
')

define(`storage_read_scsi_generic_depend',`
type scsi_generic_device_t;
attribute scsi_generic_read;
class blk_file { getattr read ioctl };
devices_list_device_nodes_depend
')

########################################
#
# storage_write_scsi_generic(domain,[`optional'])
#
define(`storage_write_scsi_generic',`
requires_block_template(storage_write_scsi_generic_depend,$2)
typeattribute $1 scsi_generic_write;
devices_list_device_nodes($1,optional)
allow $1 fixed_disk_device_t:blk_file { getattr write ioctl };
')

define(`storage_write_scsi_generic_depend',`
type scsi_generic_device_t;
attribute scsi_generic_write;
class blk_file { getattr write ioctl };
devices_list_device_nodes_depend
')

########################################
#
# storage_get_scsi_generic_attributes(domain,[`optional'])
#
define(`storage_get_scsi_generic_attributes',`
requires_block_template(storage_get_scsi_generic_attributes_depend,$2)
devices_list_device_nodes($1,optional)
allow $1 scsi_generic_device_t:blk_file getattr;
')

define(`storage_get_scsi_generic_attributes_depend',`
type scsi_generic_device_t;
class blk_file getattr;
devices_list_device_nodes_depend
')

########################################
#
# storage_set_scsi_generic_attributes(domain,[`optional'])
#
define(`storage_set_scsi_generic_attributes',`
requires_block_template(storage_set_scsi_generic_attributes_depend,$2)
devices_list_device_nodes($1,optional)
allow $1 scsi_generic_device_t:blk_file setattr;
')

define(`storage_set_scsi_generic_attributes_depend',`
type scsi_generic_device_t;
class blk_file setattr;
devices_list_device_nodes_depend
')

########################################
#
# storage_raw_read_removable_device(domain,[`optional'])
#
define(`storage_raw_read_removable_device',`
requires_block_template(storage_raw_read_removable_device_depend,$2)
devices_list_device_nodes($1,optional)
allow $1 removable_device_t:blk_file { getattr read ioctl };
')

define(`storage_raw_read_removable_device_depend',`
type removable_device_t;
class blk_file { getattr read ioctl };
devices_list_device_nodes_depend
')

########################################
#
# storage_raw_write_removable_device(domain,[`optional'])
#
define(`storage_raw_write_removable_device',`
requires_block_template(storage_raw_write_removable_device_depend,$2)
devices_list_device_nodes($1,optional)
allow $1 removable_device_t:blk_file { getattr write ioctl };
')

define(`storage_raw_write_removable_device_depend',`
type removable_device_t;
class blk_file { getattr write ioctl };
devices_list_device_nodes_depend
')

########################################
#
# storage_get_removable_device_attributes(domain,[`optional'])
#
define(`storage_get_removable_device_attributes',`
requires_block_template(storage_get_removable_device_attributes_depend,$2)
devices_list_device_nodes($1,optional)
allow $1 removable_device_t:blk_file getattr;
')

define(`storage_get_removable_device_attributes_depend',`
type removable_device_t;
class blk_file getattr;
devices_list_device_nodes_depend
')

########################################
#
# storage_set_removable_device_attributes(domain,[`optional'])
#
define(`storage_set_removable_device_attributes',`
requires_block_template(storage_set_removable_device_attributes_depend,$2)
devices_list_device_nodes($1,optional)
allow $1 removable_device_t:blk_file setattr;
')

define(`storage_set_removable_device_attributes_depend',`
type removable_device_t;
class blk_file setattr;
devices_list_device_nodes_depend
')

########################################
#
# storage_read_tape_device(domain,[`optional'])
#
define(`storage_read_tape_device',`
requires_block_template(storage_read_tape_device_depend,$2)
devices_list_device_nodes($1,optional)
allow $1 tape_device_t:blk_file { getattr read ioctl };
')

define(`storage_read_tape_device_depend',`
type tape_device_t;
class blk_file { getattr read ioctl };
devices_list_device_nodes_depend
')

########################################
#
# storage_write_tape_device(domain,[`optional'])
#
define(`storage_write_tape_device',`
requires_block_template(storage_write_tape_device_depend,$2)
devices_list_device_nodes($1,optional)
allow $1 tape_device_t:blk_file { getattr write ioctl };
')

define(`storage_write_tape_device_depend',`
type tape_device_t;
class blk_file { getattr write ioctl };
devices_list_device_nodes_depend
')

########################################
#
# storage_get_tape_device_attributes(domain,[`optional'])
#
define(`storage_get_tape_device_attributes',`
requires_block_template(storage_get_tape_device_attributes_depend,$2)
devices_list_device_nodes($1,optional)
allow $1 tape_device_t:blk_file getattr;
')

define(`storage_get_tape_device_attributes_depend',`
type tape_device_t;
class blk_file getattr;
devices_list_device_nodes_depend
')

########################################
#
# storage_set_tape_device_attributes(domain,[`optional'])
#
define(`storage_set_tape_device_attributes',`
requires_block_template(storage_set_tape_device_attributes_depend,$2)
devices_list_device_nodes($1,optional)
allow $1 tape_device_t:blk_file setattr;
')

define(`storage_set_tape_device_attributes_depend',`
type tape_device_t;
class blk_file setattr;
devices_list_device_nodes_depend
')