Oct 18 17:22:06 vhumpa kernel: [ 0.000000] ACPI: DMAR 00000000bb781000 000B8 (v01 INTEL CP_DALE 00000001 INTL 00000001) Oct 18 17:22:06 vhumpa kernel: [ 0.209166] DMAR: Host address width 36 Oct 18 17:22:06 vhumpa kernel: [ 0.209169] DMAR: DRHD base: 0x000000fed90000 flags: 0x0 Oct 18 17:22:06 vhumpa kernel: [ 0.209178] DMAR: DRHD base: 0x000000fed91000 flags: 0x0 Oct 18 17:22:06 vhumpa kernel: [ 0.209187] DMAR: DRHD base: 0x000000fed93000 flags: 0x1 Oct 18 17:22:06 vhumpa kernel: [ 0.209194] DMAR: RMRR base: 0x000000bb6e9000 end: 0x000000bb6fffff Oct 18 17:22:06 vhumpa kernel: [ 0.209197] DMAR: RMRR base: 0x000000bdc00000 end: 0x000000bfffffff Oct 18 17:22:06 vhumpa kernel: [ 0.209199] DMAR: No ATSR found