Chris PeBenito 9cca1c
## <summary>run real-mode video BIOS code to alter hardware state</summary>
Chris PeBenito 9cca1c
Chris PeBenito 9cca1c
########################################
Chris PeBenito 9cca1c
## <summary>
Chris PeBenito 9cca1c
##	Execute vbetool application in the vbetool domain.
Chris PeBenito 9cca1c
## </summary>
Chris PeBenito f7eaee
## <param name="domain">
Chris PeBenito 885b83
##	<summary>
Chris PeBenito f7eaee
##	Domain allowed access.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito 9cca1c
## </param>
Chris PeBenito 9cca1c
#
Chris PeBenito 9cca1c
interface(`vbetool_domtrans',`
Chris PeBenito 9cca1c
	gen_require(`
Chris PeBenito 9cca1c
		type vbetool_t, vbetool_exec_t;
Chris PeBenito 9cca1c
	')
Chris PeBenito 9cca1c
Chris PeBenito 8021cb
	corecmd_search_bin($1)
Chris PeBenito 0bfccd
	domtrans_pattern($1, vbetool_exec_t, vbetool_t)
Chris PeBenito 9cca1c
')