1ec3d1a
## <summary>Prelink ELF shared library mappings.</summary>
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Execute the prelink program in the prelink domain.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed to transition.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`prelink_domtrans',`
1ec3d1a
	gen_require(`
1ec3d1a
		type prelink_t, prelink_exec_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	corecmd_search_bin($1)
1ec3d1a
	domtrans_pattern($1, prelink_exec_t, prelink_t)
1ec3d1a
1ec3d1a
	ifdef(`hide_broken_symptoms', `
Chris PeBenito 9401ae1
		dontaudit prelink_t $1:socket_class_set { read write };
1ec3d1a
		dontaudit prelink_t $1:fifo_file setattr;
1ec3d1a
	')
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Execute the prelink program in the current domain.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`prelink_exec',`
1ec3d1a
	gen_require(`
1ec3d1a
		type prelink_exec_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	corecmd_search_bin($1)
1ec3d1a
	can_exec($1, prelink_exec_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Execute the prelink program in the prelink domain.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed to transition.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
## <param name="role">
1ec3d1a
##	<summary>
1ec3d1a
##	The role to allow the prelink domain.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
## <rolecap/>
1ec3d1a
#
1ec3d1a
interface(`prelink_run',`
1ec3d1a
	gen_require(`
1ec3d1a
		type prelink_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	prelink_domtrans($1)
1ec3d1a
	role $2 types prelink_t;
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Make the specified file type prelinkable.
1ec3d1a
## </summary>
1ec3d1a
## <param name="file_type">
1ec3d1a
##	<summary>
1ec3d1a
##	File type to be prelinked.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
# cjp: added for misc non-entrypoint objects
1ec3d1a
interface(`prelink_object_file',`
1ec3d1a
	gen_require(`
1ec3d1a
		attribute prelink_object;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	typeattribute $1 prelink_object;
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Read the prelink cache.
1ec3d1a
## </summary>
1ec3d1a
## <param name="file_type">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`prelink_read_cache',`
1ec3d1a
	gen_require(`
1ec3d1a
		type prelink_cache_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	files_search_etc($1)
1ec3d1a
	allow $1 prelink_cache_t:file read_file_perms;
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Delete the prelink cache.
1ec3d1a
## </summary>
1ec3d1a
## <param name="file_type">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`prelink_delete_cache',`
1ec3d1a
	gen_require(`
1ec3d1a
		type prelink_cache_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	allow $1 prelink_cache_t:file unlink;
1ec3d1a
	files_rw_etc_dirs($1)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Create, read, write, and delete
1ec3d1a
##	prelink log files.
1ec3d1a
## </summary>
1ec3d1a
## <param name="file_type">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`prelink_manage_log',`
1ec3d1a
	gen_require(`
1ec3d1a
		type prelink_log_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	logging_search_logs($1)
1ec3d1a
	manage_files_pattern($1, prelink_log_t, prelink_log_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Create, read, write, and delete
1ec3d1a
##	prelink var_lib files.
1ec3d1a
## </summary>
1ec3d1a
## <param name="file_type">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`prelink_manage_lib',`
1ec3d1a
	gen_require(`
1ec3d1a
		type prelink_var_lib_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	files_search_var_lib($1)
1ec3d1a
	manage_files_pattern($1, prelink_var_lib_t, prelink_var_lib_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Relabel from files in the /boot directory.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`prelink_relabelfrom_lib',`
1ec3d1a
	gen_require(`
1ec3d1a
		type prelink_var_lib_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	files_search_var_lib($1)
1ec3d1a
	relabelfrom_files_pattern($1, prelink_var_lib_t, prelink_var_lib_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Relabel from files in the /boot directory.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`prelink_relabel_lib',`
1ec3d1a
	gen_require(`
1ec3d1a
		type prelink_var_lib_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	files_search_var_lib($1)
1ec3d1a
	relabel_files_pattern($1, prelink_var_lib_t, prelink_var_lib_t)
1ec3d1a
')
f8f7606
f8f7606
########################################
f8f7606
## <summary>
f8f7606
##	Transition to prelink named content
f8f7606
## </summary>
f8f7606
## <param name="domain">
f8f7606
##	<summary>
f8f7606
##      Domain allowed access.
f8f7606
##	</summary>
f8f7606
## </param>
f8f7606
#
f8f7606
interface(`prelink_filetrans_named_content',`
f8f7606
	gen_require(`
f8f7606
		type prelink_cache_t;
f8f7606
	')
f8f7606
f8f7606
	files_etc_filetrans($1, prelink_cache_t, file, "prelink.cache")
f8f7606
')