dmesg_output

bruno@T400 ~ $ dmesg | grep -i dmar
[    0.000000] ACPI: DMAR 0x00000000BDAB9F80 0000A8 (v01 CORE   COREBOOT 00000000 CORE 00000000)
[    0.000000] WARNING: CPU: 0 PID: 0 at drivers/iommu/dmar.c:829 warn_invalid_dmar+0x79/0x90()
[    0.000000] Your BIOS is broken; DMAR reported at address fed92000 returns all ones!
[    0.000000]  [<ffffffff813bcb69>] warn_invalid_dmar+0x79/0x90
[    0.000000]  [<ffffffff81568105>] dmar_validate_one_drhd+0xa5/0xe0
[    0.000000]  [<ffffffff813bcd12>] dmar_walk_remapping_entries+0x82/0x190
[    0.030126] DMAR: Host address width 40
[    0.030131] DMAR: DRHD base: 0x000000fed90000 flags: 0x0
[    0.030140] DMAR: dmar0: reg_base_addr fed90000 ver 1:0 cap c9008020e30260 ecap 1000
[    0.030142] DMAR: DRHD base: 0x000000fed91000 flags: 0x0
[    0.030149] DMAR: dmar1: reg_base_addr fed91000 ver 1:0 cap c0000020630260 ecap 1000
[    0.030151] DMAR: DRHD base: 0x000000fed92000 flags: 0x0
[    0.030163] DMAR: Failed to map dmar2
[    0.030169] DMAR: Parse DMAR table failure.
[    0.134662] DMAR: Forcing write-buffer flush capability
[    0.134662] DMAR: Disabling IOMMU for graphics on this chipset