Intel IOMMU on Dell Latitude E6400, Lenovo X200 & Dell Precision T5400

[Oleg Orel <oorel@vmware.com>]

Folks from Intel whi was working on IOMMU support in linux kernel and 
KVM folks who presumably been able to use it successfully, your 
input/comments will be very appriciated.

We are trying to make iommu working on laptops and desctop mentioned in 
the subject line. However, we on all three computers have exactly the 
same problem. We getting interrupt with 2 type of errors reported:

However, we are running into random device DMA issues on all three computers. We are getting MSI-X interrupts from the IOMMUs with 3 types of error reported:

a) PTE doesn't have write bit set
b) PTE doesn't have read bit set
c) Present bit in root entry is clear


We had reported more details @ 
https://bugzilla.redhat.com/show_bug.cgi?id=479996 and 
http://bugzilla.kernel.org/show_bug.cgi?id=11821


Please advice us a way to debug it, what peaces should we look at, 
print/check, etc...

1. Could we blame BIOS for that?
2. Is it possible that we build kernel with options what conflicting 
with iommu implementation in some way? If so, could you share your 
binary/source/config what works for you?
3. What desktop/laptops been tested and you aware that it works?
4. KVM folks, is it KVM+IOMMU works?
5. We have been seeing this issue with the latest Linus' git kernel as 
well as 2.6.29-rc3 from kernel.org.
Oleg