K 10 svn:author V 10 nwhitehorn K 8 svn:date V 27 2013-11-12T16:14:45.200123Z K 7 svn:log V 216 Actually add IOMMU domain to the list of known mappings. This fixes a bug where multiple devices in the same IOMMU domain would be allocated conflicting mappings unless they also shared a DMA tag. MFC after: 3 days END