Nathan Whitehorn acf9bb339a 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
2013-11-12 16:14:45 +00:00
..
2013-10-29 11:17:49 +00:00
2013-07-02 07:17:56 +00:00