## Services for loading CPU microcode and CPU frequency scaling.
########################################
##
## CPUcontrol stub interface. No access allowed.
##
##
##
## Domain allowed access.
##
##
#
interface(`cpucontrol_stub',`
gen_require(`
type cpucontrol_t;
')
')