On 18/12/14 18:27, Roger Pau Monne wrote: > Hello, > > This series contains a bug-fix for PVH Dom0, that prevents Xen from adding > MMIO regions that should not be accesible to Dom0. The second patch also > prevents Dom0 from accessing the HPET, which AFAICT is used by Xen. > > I'm not sure if there's a reason why the HPET MMIO region wasn't added to > iomem_deny_access, but I don't think Dom0 should access it.
The HPET region is awkward. It is only 1024 bytes wide. Dom0 may legitimately need access to other MMIO which lives in the remainder of page. Having said that, the HPET ACPI table does have a flag indicating that the HPET page has nothing else in the remainder of the page. We probably should deny dom0 access in the case that the BIOS has told us it is safe to do so. ~Andrew _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
