On 7/9/2010 5:09 PM, David Woodhouse wrote: > Actually, given that we know the chipset, can't we just read the VT BARs > directly from config space and check that the base address of the IOMMU > we get is the right one for the I/OAT device? > > Something like... > > pci_read_config_dword( ("0:0.0") , 0x48,&vtbar ); > if (drhd->base_address != vtbar) > WARN(); Ok, here is a patch that takes this approach. David, will you sign off on this? Chris, I'll add a tested-by line if you can give this a shot. Thanks, Dan