Hi Paul, On Tue, Jul 17, 2018 at 06:02:07PM +0200, Paul Menzel wrote: > $ dmesg > […] > [ 0.145696] calling pci_iommu_init+0x0/0x3f @ 1 > [ 0.145719] AMD-Vi: Unable to write to IOMMU perf counter.
This is likely a firmware issue. Either the IVRS ACPI table is incorrect or the BIOS did not enable the performance counter feature in the IOMMU hardware. Are you running on the latest BIOS? Joerg