Hi Chris,
Just a quick scan of the dmesg attached in the bugzilla.
There are 6 devices reported in ANDD.
[0.458662] DMAR: ANDD device: 1 name: \_SB.PCI0.I2C0
[0.458683] DMAR: ANDD device: 2 name: \_SB.PCI0.I2C1
[0.458704] DMAR: ANDD device: 3 name: \_SB.PCI0.SPI0
[0.458724] DMAR
On Fri, Oct 04, 2019 at 09:55:54PM +0100, Chris Wilson wrote:
> [2.073922] DMAR: ACPI device "INT33C2:00" under DMAR at fed91000 as
> 00:15.1
> [2.073983] DMAR: ACPI device "INT33C3:00" under DMAR at fed91000 as
> 00:15.2
> [2.074027] DMAR: ACPI device "INT33C0:00" under DMAR at fed91
[2.073922] DMAR: ACPI device "INT33C2:00" under DMAR at fed91000 as 00:15.1
[2.073983] DMAR: ACPI device "INT33C3:00" under DMAR at fed91000 as 00:15.2
[2.074027] DMAR: ACPI device "INT33C0:00" under DMAR at fed91000 as 00:15.3
[2.074072] DMAR: ACPI device "INT33C1:00" under DMAR at
