root@proxmox1:~# dmesg | grep -e DMAR -e IOMMU
[ 0.007156] ACPI: DMAR 0x000000009F42C380 0000A8 (v01 INTEL SKL 00000001 INTL 00000001)
[ 0.007176] ACPI: Reserving DMAR table memory at [mem 0x9f42c380-0x9f42c427]
[ 0.094085] DMAR: Host address width 39
[ 0.094086] DMAR: DRHD base: 0x000000fed90000 flags: 0x0
[ 0.094093] DMAR: dmar0: reg_base_addr fed90000 ver 1:0 cap 1c0000c40660462 ecap 7e3ff0505e
[ 0.094095] DMAR: DRHD base: 0x000000fed91000 flags: 0x1
[ 0.094098] DMAR: dmar1: reg_base_addr fed91000 ver 1:0 cap d2008c40660462 ecap f050da
[ 0.094099] DMAR: RMRR base: 0x0000009f259000 end: 0x0000009f278fff
[ 0.094102] DMAR: RMRR base: 0x000000a1800000 end: 0x000000a3ffffff
[ 0.094102] DMAR: [Firmware Bug]: No firmware reserved region can cover this RMRR [0x00000000a1800000-0x00000000a3ffffff], contact BIOS vendor for fixes
[ 0.094104] DMAR: [Firmware Bug]: Your BIOS is broken; bad RMRR [0x00000000a1800000-0x00000000a3ffffff]
[ 0.094106] DMAR-IR: IOAPIC id 2 under DRHD base 0xfed91000 IOMMU 1
[ 0.094107] DMAR-IR: HPET id 0 under DRHD base 0xfed91000
[ 0.094108] DMAR-IR: x2apic is disabled because BIOS sets x2apic opt out bit.
[ 0.094109] DMAR-IR: Use 'intremap=no_x2apic_optout' to override the BIOS setting.
[ 0.095711] DMAR-IR: Enabled IRQ remapping in xapic mode
[ 0.249580] DMAR: No ATSR found
[ 0.249580] DMAR: No SATC found
[ 0.249581] DMAR: IOMMU feature fl1gp_support inconsistent
[ 0.249582] DMAR: IOMMU feature pgsel_inv inconsistent
[ 0.249583] DMAR: IOMMU feature nwfs inconsistent
[ 0.249584] DMAR: IOMMU feature eafs inconsistent
[ 0.249584] DMAR: IOMMU feature prs inconsistent
[ 0.249585] DMAR: IOMMU feature nest inconsistent
[ 0.249585] DMAR: IOMMU feature mts inconsistent
[ 0.249586] DMAR: IOMMU feature sc_support inconsistent
[ 0.249586] DMAR: IOMMU feature dev_iotlb_support inconsistent
[ 0.249587] DMAR: dmar0: Using Queued invalidation
[ 0.249590] DMAR: dmar1: Using Queued invalidation
[ 0.250942] DMAR: Intel(R) Virtualization Technology for Directed I/O
root@proxmox1:~#