Re: [Xen-devel] [PATCH v4 4/4] x86/iommu: add reserved dom0-iommu option to map reserved memory ranges

2018-08-09 Thread Jan Beulich
>>> On 09.08.18 at 12:23, wrote: > On Thu, Aug 09, 2018 at 01:36:57AM -0600, Jan Beulich wrote: >> >>> On 08.08.18 at 18:18, wrote: >> > On Wed, Aug 08, 2018 at 07:15:54AM -0600, Jan Beulich wrote: >> >> >>> On 08.08.18 at 12:07, wrote: >> >> > +/* >> >> > + * If dom0-strict mode is

Re: [Xen-devel] [PATCH v4 4/4] x86/iommu: add reserved dom0-iommu option to map reserved memory ranges

2018-08-09 Thread Roger Pau Monné
On Thu, Aug 09, 2018 at 01:36:57AM -0600, Jan Beulich wrote: > >>> On 08.08.18 at 18:18, wrote: > > On Wed, Aug 08, 2018 at 07:15:54AM -0600, Jan Beulich wrote: > >> >>> On 08.08.18 at 12:07, wrote: > >> > @@ -134,13 +135,67 @@ void arch_iommu_domain_destroy(struct domain *d) > >> > { > >> > }

Re: [Xen-devel] [PATCH v4 4/4] x86/iommu: add reserved dom0-iommu option to map reserved memory ranges

2018-08-09 Thread Jan Beulich
>>> On 08.08.18 at 18:18, wrote: > On Wed, Aug 08, 2018 at 07:15:54AM -0600, Jan Beulich wrote: >> >>> On 08.08.18 at 12:07, wrote: >> > Several people have reported hardware issues (malfunctioning USB >> > controllers) due to iommu page faults on Intel hardware. Those faults >> > are caused by

Re: [Xen-devel] [PATCH v4 4/4] x86/iommu: add reserved dom0-iommu option to map reserved memory ranges

2018-08-08 Thread Roger Pau Monné
On Wed, Aug 08, 2018 at 07:15:54AM -0600, Jan Beulich wrote: > >>> On 08.08.18 at 12:07, wrote: > > Several people have reported hardware issues (malfunctioning USB > > controllers) due to iommu page faults on Intel hardware. Those faults > > are caused by missing RMRR (VTd) entries in the ACPI

Re: [Xen-devel] [PATCH v4 4/4] x86/iommu: add reserved dom0-iommu option to map reserved memory ranges

2018-08-08 Thread Jan Beulich
>>> On 08.08.18 at 12:07, wrote: > Several people have reported hardware issues (malfunctioning USB > controllers) due to iommu page faults on Intel hardware. Those faults > are caused by missing RMRR (VTd) entries in the ACPI tables. Those can > be worked around on VTd hardware by manually

[Xen-devel] [PATCH v4 4/4] x86/iommu: add reserved dom0-iommu option to map reserved memory ranges

2018-08-08 Thread Roger Pau Monne
Several people have reported hardware issues (malfunctioning USB controllers) due to iommu page faults on Intel hardware. Those faults are caused by missing RMRR (VTd) entries in the ACPI tables. Those can be worked around on VTd hardware by manually adding RMRR entries on the command line, this