# Copyright (C) 2005 Tresys Technology, LLC

########################################
#
# filesystem_make_filesystem(type)
#
define(`filesystem_make_filesystem',`
requires_block_template(`$0'_depend)
typeattribute $1 fs_type;
')

define(`filesystem_make_filesystem_depend',`
attribute fs_type;
')

########################################
#
# filesystem_associate(type)
#
define(`filesystem_associate',`
requires_block_template(`$0'_depend)
allow $1 fs_t:filesystem associate;
')

define(`filesystem_associate_depend',`
type fs_t;
class filesystem associate;
')

########################################
#
# filesystem_noxattr_associate(type)
#
define(`filesystem_noxattr_associate',`
requires_block_template(`$0'_depend)
allow $1 autofs_t:filesystem associate;
allow $1 cifs_t:filesystem associate;
allow $1 dosfs_t:filesystem associate;
allow $1 iso9660_t:filesystem associate;
allow $1 nfs_t:filesystem associate;
allow $1 removable_t:filesystem associate;
allow $1 usbfs_t:filesystem associate;
')

define(`filesystem_noxattr_associate_depend',`
type fs_t, nfs_t, cifs_t, dosfs_t, iso9660_t, autofs_t, usbfs_t, removable_t;
class filesystem associate;
')

########################################
#
# filesystem_mount_persistent_filesystem(domain)
#
define(`filesystem_mount_persistent_filesystem',`
requires_block_template(`$0'_depend)
allow $1 fs_t:filesystem mount;
')

define(`filesystem_mount_persistent_filesystem_depend',`
type fs_t;
class filesystem mount;
')

########################################
#
# filesystem_remount_persistent_filesystem(domain)
#
define(`filesystem_remount_persistent_filesystem',`
requires_block_template(`$0'_depend)
allow $1 fs_t:filesystem remount;
')

define(`filesystem_remount_persistent_filesystem_depend',`
type fs_t;
class filesystem remount;
')

########################################
#
# filesystem_unmount_persistent_filesystem(domain)
#
define(`filesystem_unmount_persistent_filesystem',`
requires_block_template(`$0'_depend)
allow $1 fs_t:filesystem mount;
')

define(`filesystem_unmount_persistent_filesystem_depend',`
type fs_t;
class filesystem unmount;
')

########################################
#
# filesystem_get_persistent_filesystem_attributes(domain)
#
define(`filesystem_get_persistent_filesystem_attributes',`
requires_block_template(`$0'_depend)
allow $1 fs_t:filesystem getattr;
')

define(`filesystem_get_persistent_filesystem_attributes_depend',`
type fs_t;
class filesystem getattr;
')

########################################
#
# filesystem_ignore_get_persistent_filesystem_attributes(domain)
#
define(`filesystem_ignore_get_persistent_filesystem_attributes',`
requires_block_template(`$0'_depend)
dontaudit $1 fs_t:filesystem getattr;
')

define(`filesystem_ignore_get_persistent_filesystem_attributes_depend',`
type fs_t;
class filesystem getattr;
')

########################################
#
# filesystem_mount_automount_filesystem(domain)
#
define(`filesystem_mount_automount_filesystem',`
requires_block_template(`$0'_depend)
allow $1 autofs_t:filesystem mount;
')

define(`filesystem_mount_automount_filesystem_depend',`
type autofs_t;
class filesystem mount;
')

########################################
#
# filesystem_remount_automount_filesystem(domain)
#
define(`filesystem_remount_automount_filesystem',`
requires_block_template(`$0'_depend)
allow $1 autofs_t:filesystem remount;
')

define(`filesystem_remount_automount_filesystem_depend',`
type autofs_t;
class filesystem remount;
')

########################################
#
# filesystem_unmount_automount_filesystem(domain)
#
define(`filesystem_unmount_automount_filesystem',`
requires_block_template(`$0'_depend)
allow $1 autofs_t:filesystem mount;
')

define(`filesystem_unmount_automount_filesystem_depend',`
type autofs_t;
class filesystem unmount;
')

########################################
#
# filesystem_get_automount_filesystem_attributes(domain)
#
define(`filesystem_get_automount_filesystem_attributes',`
requires_block_template(`$0'_depend)
allow $1 autofs_t:filesystem getattr;
')

define(`filesystem_get_automount_filesystem_attributes_depend',`
type autofs_t;
class filesystem getattr;
')

########################################
#
# filesystem_register_binary_executable_type(domain)
#
define(`filesystem_register_binary_executable_type',`
requires_block_template(`$0'_depend)
allow $1 binfmt_misc_fs_t:dir { getattr search };
allow $1 binfmt_misc_fs_t:file { getattr ioctl write };
')

define(`filesystem_register_binary_executable_type_depend',`
type binfmt_misc_fs_t;
class dir { getattr search };
class file { getattr ioctl write };
')

########################################
#
# filesystem_mount_windows_network_filesystem(domain)
#
define(`filesystem_mount_windows_network_filesystem',`
requires_block_template(`$0'_depend)
allow $1 cifs_t:filesystem mount;
')

define(`filesystem_mount_windows_network_filesystem_depend',`
type cifs_t;
class filesystem mount;
')

########################################
#
# filesystem_remount_windows_network_filesystem(domain)
#
define(`filesystem_remount_windows_network_filesystem',`
requires_block_template(`$0'_depend)
allow $1 cifs_t:filesystem remount;
')

define(`filesystem_remount_windows_network_filesystem_depend',`
type cifs_t;
class filesystem remount;
')

########################################
#
# filesystem_unmount_windows_network_filesystem(domain)
#
define(`filesystem_unmount_windows_network_filesystem',`
requires_block_template(`$0'_depend)
allow $1 cifs_t:filesystem mount;
')

define(`filesystem_unmount_windows_network_filesystem_depend',`
type cifs_t;
class filesystem unmount;
')

########################################
#
# filesystem_get_windows_network_filesystem_attributes(domain)
#
define(`filesystem_get_windows_network_filesystem_attributes',`
requires_block_template(`$0'_depend)
allow $1 cifs_t:filesystem getattr;
')

define(`filesystem_get_windows_network_filesystem_attributes_depend',`
type cifs_t;
class filesystem getattr;
')

########################################
#
# filesystem_mount_dos_filesystem(domain)
#
define(`filesystem_mount_dos_filesystem',`
requires_block_template(`$0'_depend)
allow $1 dosfs_t:filesystem mount;
')

define(`filesystem_mount_dos_filesystem_depend',`
type dosfs_t;
class filesystem mount;
')

########################################
#
# filesystem_remount_dos_filesystem(domain)
#
define(`filesystem_remount_dos_filesystem',`
requires_block_template(`$0'_depend)
allow $1 dosfs_t:filesystem remount;
')

define(`filesystem_remount_dos_filesystem_depend',`
type dosfs_t;
class filesystem remount;
')

########################################
#
# filesystem_unmount_dos_filesystem(domain)
#
define(`filesystem_unmount_dos_filesystem',`
requires_block_template(`$0'_depend)
allow $1 dosfs_t:filesystem mount;
')

define(`filesystem_unmount_dos_filesystem_depend',`
type dosfs_t;
class filesystem unmount;
')

########################################
#
# filesystem_get_dos_filesystem_attributes(domain)
#
define(`filesystem_get_dos_filesystem_attributes',`
requires_block_template(`$0'_depend)
allow $1 dosfs_t:filesystem getattr;
')

define(`filesystem_get_dos_filesystem_attributes_depend',`
type dosfs_t;
class filesystem getattr;
')

########################################
#
# filesystem_mount_cd_filesystem(domain)
#
define(`filesystem_mount_cd_filesystem',`
requires_block_template(`$0'_depend)
allow $1 iso9660_t:filesystem mount;
')

define(`filesystem_mount_cd_filesystem_depend',`
type iso9660_t;
class filesystem mount;
')

########################################
#
# filesystem_remount_cd_filesystem(domain)
#
define(`filesystem_remount_cd_filesystem',`
requires_block_template(`$0'_depend)
allow $1 iso9660_t:filesystem remount;
')

define(`filesystem_remount_cd_filesystem_depend',`
type iso9660_t;
class filesystem remount;
')

########################################
#
# filesystem_unmount_cd_filesystem(domain)
#
define(`filesystem_unmount_cd_filesystem',`
requires_block_template(`$0'_depend)
allow $1 iso9660_t:filesystem mount;
')

define(`filesystem_unmount_cd_filesystem_depend',`
type iso9660_t;
class filesystem unmount;
')

########################################
#
# filesystem_get_cd_filesystem_attributes(domain)
#
define(`filesystem_get_cd_filesystem_attributes',`
requires_block_template(`$0'_depend)
allow $1 iso9660_t:filesystem getattr;
')

define(`filesystem_get_cd_filesystem_attributes_depend',`
type iso9660_t;
class filesystem getattr;
')

########################################
#
# filesystem_mount_nfs_filesystem(domain)
#
define(`filesystem_mount_nfs_filesystem',`
requires_block_template(`$0'_depend)
allow $1 nfs_t:filesystem mount;
')

define(`filesystem_mount_nfs_filesystem_depend',`
type nfs_t;
class filesystem mount;
')

########################################
#
# filesystem_remount_nfs_filesystem(domain)
#
define(`filesystem_remount_nfs_filesystem',`
requires_block_template(`$0'_depend)
allow $1 nfs_t:filesystem remount;
')

define(`filesystem_remount_nfs_filesystem_depend',`
type nfs_t;
class filesystem remount;
')

########################################
#
# filesystem_unmount_nfs_filesystem(domain)
#
define(`filesystem_unmount_nfs_filesystem',`
requires_block_template(`$0'_depend)
allow $1 nfs_t:filesystem mount;
')

define(`filesystem_unmount_nfs_filesystem_depend',`
type nfs_t;
class filesystem unmount;
')

########################################
#
# filesystem_get_nfs_filesystem_attributes(domain)
#
define(`filesystem_get_nfs_filesystem_attributes',`
requires_block_template(`$0'_depend)
allow $1 nfs_t:filesystem getattr;
')

define(`filesystem_get_nfs_filesystem_attributes_depend',`
type nfs_t;
class filesystem getattr;
')

########################################
#
# filesystem_mount_nfsd_filesystem(domain)
#
define(`filesystem_mount_nfsd_filesystem',`
requires_block_template(`$0'_depend)
allow $1 nfsd_fs_t:filesystem mount;
')

define(`filesystem_mount_nfsd_filesystem_depend',`
type nfsd_fs_t;
class filesystem mount;
')

########################################
#
# filesystem_remount_nfsd_filesystem(domain)
#
define(`filesystem_remount_nfsd_filesystem',`
requires_block_template(`$0'_depend)
allow $1 nfsd_fs_t:filesystem remount;
')

define(`filesystem_remount_nfsd_filesystem_depend',`
type nfsd_fs_t;
class filesystem remount;
')

########################################
#
# filesystem_unmount_nfsd_filesystem(domain)
#
define(`filesystem_unmount_nfsd_filesystem',`
requires_block_template(`$0'_depend)
allow $1 nfsd_fs_t:filesystem mount;
')

define(`filesystem_unmount_nfsd_filesystem_depend',`
type nfsd_fs_t;
class filesystem unmount;
')

########################################
#
# filesystem_get_nfsd_filesystem_attributes(domain)
#
define(`filesystem_get_nfsd_filesystem_attributes',`
requires_block_template(`$0'_depend)
allow $1 nfsd_fs_t:filesystem getattr;
')

define(`filesystem_get_nfsd_filesystem_attributes_depend',`
type nfsd_fs_t;
class filesystem getattr;
')

########################################
#
# filesystem_mount_ram_filesystem(domain)
#
define(`filesystem_mount_ram_filesystem',`
requires_block_template(`$0'_depend)
allow $1 ramfs_t:filesystem mount;
')

define(`filesystem_mount_ram_filesystem_depend',`
type ramfs_t;
class filesystem mount;
')

########################################
#
# filesystem_remount_ram_filesystem(domain)
#
define(`filesystem_remount_ram_filesystem',`
requires_block_template(`$0'_depend)
allow $1 ramfs_t:filesystem remount;
')

define(`filesystem_remount_ram_filesystem_depend',`
type ramfs_t;
class filesystem remount;
')

########################################
#
# filesystem_unmount_ram_filesystem(domain)
#
define(`filesystem_unmount_ram_filesystem',`
requires_block_template(`$0'_depend)
allow $1 ramfs_t:filesystem mount;
')

define(`filesystem_unmount_ram_filesystem_depend',`
type ramfs_t;
class filesystem unmount;
')

########################################
#
# filesystem_get_ram_filesystem_attributes(domain)
#
define(`filesystem_get_ram_filesystem_attributes',`
requires_block_template(`$0'_depend)
allow $1 ramfs_t:filesystem getattr;
')

define(`filesystem_get_ram_filesystem_attributes_depend',`
type ramfs_t;
class filesystem getattr;
')

########################################
#
# filesystem_mount_rom_filesystem(domain)
#
define(`filesystem_mount_rom_filesystem',`
requires_block_template(`$0'_depend)
allow $1 romfs_t:filesystem mount;
')

define(`filesystem_mount_rom_filesystem_depend',`
type romfs_t;
class filesystem mount;
')

########################################
#
# filesystem_remount_rom_filesystem(domain)
#
define(`filesystem_remount_rom_filesystem',`
requires_block_template(`$0'_depend)
allow $1 romfs_t:filesystem remount;
')

define(`filesystem_remount_rom_filesystem_depend',`
type romfs_t;
class filesystem remount;
')

########################################
#
# filesystem_unmount_rom_filesystem(domain)
#
define(`filesystem_unmount_rom_filesystem',`
requires_block_template(`$0'_depend)
allow $1 romfs_t:filesystem mount;
')

define(`filesystem_unmount_rom_filesystem_depend',`
type romfs_t;
class filesystem unmount;
')

########################################
#
# filesystem_get_rom_filesystem_attributes(domain)
#
define(`filesystem_get_rom_filesystem_attributes',`
requires_block_template(`$0'_depend)
allow $1 romfs_t:filesystem getattr;
')

define(`filesystem_get_rom_filesystem_attributes_depend',`
type romfs_t;
class filesystem getattr;
')

########################################
#
# filesystem_mount_rpc_pipefs_filesystem(domain)
#
define(`filesystem_mount_rpc_pipefs_filesystem',`
requires_block_template(`$0'_depend)
allow $1 rpc_pipefs_t:filesystem mount;
')

define(`filesystem_mount_rpc_pipefs_filesystem_depend',`
type rpc_pipefs_t;
class filesystem mount;
')

########################################
#
# filesystem_remount_rpc_pipefs_filesystem(domain)
#
define(`filesystem_remount_rpc_pipefs_filesystem',`
requires_block_template(`$0'_depend)
allow $1 rpc_pipefs_t:filesystem remount;
')

define(`filesystem_remount_rpc_pipefs_filesystem_depend',`
type rpc_pipefs_t;
class filesystem remount;
')

########################################
#
# filesystem_unmount_rpc_pipefs_filesystem(domain)
#
define(`filesystem_unmount_rpc_pipefs_filesystem',`
requires_block_template(`$0'_depend)
allow $1 rpc_pipefs_t:filesystem mount;
')

define(`filesystem_unmount_rpc_pipefs_filesystem_depend',`
type rpc_pipefs_t;
class filesystem unmount;
')

########################################
#
# filesystem_get_rpc_pipefs_filesystem_attributes(domain)
#
define(`filesystem_get_rpc_pipefs_filesystem_attributes',`
requires_block_template(`$0'_depend)
allow $1 rpc_pipefs_t:filesystem getattr;
')

define(`filesystem_get_rpc_pipefs_filesystem_attributes_depend',`
type rpc_pipefs_t;
class filesystem getattr;
')

########################################
#
# filesystem_mount_tmpfs_filesystem(domain)
#
define(`filesystem_mount_tmpfs_filesystem',`
requires_block_template(`$0'_depend)
allow $1 tmpfs_t:filesystem mount;
')

define(`filesystem_mount_tmpfs_filesystem_depend',`
type tmpfs_t;
class filesystem mount;
')

########################################
#
# filesystem_remount_tmpfs_filesystem(domain)
#
define(`filesystem_remount_tmpfs_filesystem',`
requires_block_template(`$0'_depend)
allow $1 tmpfs_t:filesystem remount;
')

define(`filesystem_remount_tmpfs_filesystem_depend',`
type tmpfs_t;
class filesystem remount;
')

########################################
#
# filesystem_unmount_tmpfs_filesystem(domain)
#
define(`filesystem_unmount_tmpfs_filesystem',`
requires_block_template(`$0'_depend)
allow $1 tmpfs_t:filesystem mount;
')

define(`filesystem_unmount_tmpfs_filesystem_depend',`
type tmpfs_t;
class filesystem unmount;
')

########################################
#
# filesystem_get_tmpfs_filesystem_attributes(domain)
#
define(`filesystem_get_tmpfs_filesystem_attributes',`
requires_block_template(`$0'_depend)
allow $1 tmpfs_t:filesystem getattr;
')

define(`filesystem_get_tmpfs_filesystem_attributes_depend',`
type tmpfs_t;
class filesystem getattr;
')

########################################
#
# filesystem_tmpfs_associate(type)
#
define(`filesystem_tmpfs_associate',`
requires_block_template(`$0'_depend)
allow $1 tmpfs_t:filesystem associate;
')

define(`filesystem_tmpfs_associate_depend',`
type tmpfs_t;
class filesystem associate;
')

########################################
#
# filesystem_create_private_tmpfs_data(domain,derivedtype,[class])
#
define(`filesystem_create_private_tmpfs_data',`
requires_block_template(`$0'_depend)
allow $1 tmpfs_t:dir { getattr search read write add_name };
ifelse(`$3',`',`
type_transition $1 tmpfs_t:file $2;
',`
type_transition $1 tmpfs_t:$3 $2;
')
')

define(`filesystem_create_private_tmpfs_data_depend',`
type tmpfs_t;
class dir { getattr search read write add_name }; 
')

########################################
#
# filesystem_mount_all_filesystems(type)
#
define(`filesystem_mount_all_filesystems',`
requires_block_template(`$0'_depend)
allow $1 fs_type:filesystem mount;
')

define(`filesystem_mount_all_filesystems_depend',`
attribute fs_type;
class filesystem mount;
')

########################################
#
# filesystem_remount_all_filesystems(type)
#
define(`filesystem_remount_all_filesystems',`
requires_block_template(`$0'_depend)
allow $1 fs_type:filesystem remount;
')

define(`filesystem_remount_all_filesystems_depend',`
attribute fs_type;
class filesystem remount;
')

########################################
#
# filesystem_unmount_all_filesystems(type)
#
define(`filesystem_unmount_all_filesystems',`
requires_block_template(`$0'_depend)
allow $1 fs_type:filesystem unmount;
')

define(`filesystem_mount_all_filesystems_depend',`
attribute fs_type;
class filesystem unmount;
')

########################################
#
# filesystem_get_all_filesystems_attributes(type)
#
define(`filesystem_get_all_filesystems_attributes',`
requires_block_template(`$0'_depend)
allow $1 fs_type:filesystem getattr;
')

define(`filesystem_get_all_filesystems_attributes_depend',`
attribute fs_type;
class filesystem getattr;
')