https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=289297
--- Comment #43 from Konstantin Belousov <[email protected]> --- (In reply to blt from comment #42) Yes, I looked. It seems that the DMAR ACPI parser mis-matches the devices against the DMAR units. I do not have an immediate fix, will plan to work on it. FWIW, does the acpidump -dt output from the very first attachment is from the same machine and same BIOS as the verbose dmesg in the last two attachments? In other words, I am asking did you updated the BIOS between taking these two dumps? -- You are receiving this mail because: You are the assignee for the bug.
