## run real-mode video BIOS code to alter hardware state
########################################
##
## Execute vbetool application in the vbetool domain.
##
##
##
## N/A
##
##
#
interface(`vbetool_domtrans',`
gen_require(`
type vbetool_t, vbetool_exec_t;
')
corecmd_search_sbin($1)
domtrans_pattern($1,vbetool_exec_t,vbetool_t)
')