Prevent Dom0 from accessing HPET MMIO region by adding it to the list of denied memory regions.
Signed-off-by: Roger Pau Monné <roger....@citrix.com> Cc: Jan Beulich <jbeul...@suse.com> Cc: Andrew Cooper <andrew.coop...@citrix.com> --- xen/arch/x86/domain_build.c | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/xen/arch/x86/domain_build.c b/xen/arch/x86/domain_build.c index aa3bf0f..788f7db 100644 --- a/xen/arch/x86/domain_build.c +++ b/xen/arch/x86/domain_build.c @@ -36,6 +36,9 @@ #include <asm/bzimage.h> /* for bzimage_parse */ #include <asm/io_apic.h> #include <asm/hap.h> +#ifdef CONFIG_HPET_TIMER +#include <asm/hpet.h> /* for hpet_address */ +#endif #include <public/version.h> @@ -1516,6 +1519,15 @@ int __init construct_dom0( rc |= iomem_deny_access(d, sfn, efn); } +#ifdef CONFIG_HPET_TIMER + /* Prevent access to HPET */ + if ( hpet_address != 0 ) + { + mfn = paddr_to_pfn(hpet_address); + rc |= iomem_deny_access(d, mfn, mfn); + } +#endif + BUG_ON(rc != 0); if ( elf_check_broken(&elf) ) -- 1.9.3 (Apple Git-50) _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel