## <summary>Utilities for the tboot TXT module.</summary>

########################################
## <summary>
##	Execute txt-stat in the txtstat domain.
## </summary>
## <param name="domain">
##	<summary>
##	Domain allowed to transition.
##	</summary>
## </param>
#
interface(`tboot_domtrans_txtstat',`
	gen_require(`
		type txtstat_t, txtstat_exec_t;
	')

	corecmd_search_bin($1)
	domtrans_pattern($1, txtstat_exec_t, txtstat_t)
')

########################################
## <summary>
##	Execute txt-stat in the txtstat domain, and
##	allow the specified role the txtstat domain.
## </summary>
## <param name="domain">
##	<summary>
##	Domain allowed to transition.
##	</summary>
## </param>
## <param name="role">
##	<summary>
##	The role to be allowed the txtstat domain.
##	</summary>
## </param>
#
interface(`tboot_run_txtstat',`
	gen_require(`
		type txtstat_t;
		attribute_role txtstat_roles;
	')

	tboot_domtrans_txtstat($1)
	roleattribute $2 txtstat_roles;
')