schultza@schultza-laptop:~$ dmesg | egrep -e DMAR -e IOMMU
[    0.000000] ACPI: DMAR bdff5000 000B0 (v01               ? 00000001      00000000)
[    0.633503] DMAR: Forcing write-buffer flush capability
[    0.633505] DMAR: Disabling IOMMU for graphics on this chipset
[    0.743967] DMAR: Host address width 36
[    0.743970] DMAR: DRHD base: 0x000000feb03000 flags: 0x0
[    0.743978] IOMMU 0: reg_base_addr feb03000 ver 1:0 cap c9008020e30260 ecap 1000
[    0.743981] DMAR: DRHD base: 0x000000feb02000 flags: 0x1
[    0.743988] IOMMU 1: reg_base_addr feb02000 ver 1:0 cap c9008020630260 ecap 1000
[    0.743991] DMAR: RMRR base: 0x9000000090000007 end: 0x6000c800d0002825
[   16.356794] vboxpci: IOMMU not found (not registered)