[    0.000000] ACPI: DMAR 00000000d8ffe500 000B8 (v01 INTEL      HSW  00000001 INTL 00000001)
[    0.000000] Intel-IOMMU: enabled
[    0.016649] dmar: IOMMU 0: reg_base_addr fed90000 ver 1:0 cap c0000020660462 ecap f0101a
[    0.016652] dmar: IOMMU 1: reg_base_addr fed91000 ver 1:0 cap d2008020660462 ecap f010da
[    0.016719] IOAPIC id 8 under DRHD base  0xfed91000 IOMMU 1
[    0.016769] dmar: DMAR:[DMA Read] Request device [00:1f.2] fault addr dbf42000
[    0.016769] DMAR:[fault reason 06] PTE Read access is not set
[    0.363803] DMAR: No ATSR found
[    0.363824] IOMMU 0 0xfed90000: using Queued invalidation
[    0.363824] IOMMU 1 0xfed91000: using Queued invalidation
[    0.363826] IOMMU: Setting RMRR:
[    0.363843] IOMMU: Setting identity map for device 0000:00:02.0 [0xdd000000 - 0xdf1fffff]
[    0.364015] IOMMU: Setting identity map for device 0000:00:14.0 [0xdbf7c000 - 0xdbf89fff]
[    0.364038] IOMMU: Setting identity map for device 0000:00:1a.0 [0xdbf7c000 - 0xdbf89fff]
[    0.364055] IOMMU: Setting identity map for device 0000:00:1d.0 [0xdbf7c000 - 0xdbf89fff]
[    0.364068] IOMMU: Prepare 0-16MiB unity mapping for LPC
[    0.364073] IOMMU: Setting identity map for device 0000:00:1f.0 [0x0 - 0xffffff]
[   14.491345] [drm] DMAR active, disabling use of stolen memory