manage_dirs_pattern($1, hugetlbfs_t, hugetlbfs_t)
')
+########################################
+## <summary>
+## Read hugetlbfs files.
+## </summary>
+## <param name="domain">
+## <summary>
+## Domain allowed access.
+## </summary>
+## </param>
+#
+interface(`fs_read_hugetlbfs_files',`
+ gen_require(`
+ type hugetlbfs_t;
+ ')
+
+ read_files_pattern($1, hugetlbfs_t, hugetlbfs_t)
+')
+
########################################
## <summary>
## Read and write hugetlbfs files.
kernel_read_software_raid_state(staff_usertype)
kernel_read_fs_sysctls(staff_usertype)
+fs_read_hugetlbfs_files(staff_usertype)
+
dev_read_cpuid(staff_usertype)
domain_read_all_domains_state(staff_usertype)
userdom_unpriv_user_template(user)
fs_exec_noxattr(user_t)
+fs_read_hugetlbfs_files(user_usertype)
storage_read_scsi_generic(user_t)
storage_write_scsi_generic(user_t)