View device <=> IOMMU mapping table

[Ahmed A]

Hello,

I have a server, and on the motherboard there are two CPU sockets, with a CPU in each.  There is a x16 PCIe slot connected to each CPU socket.  There are two different cards in each PCIe slot.  Is there a utility or some kernel data structure I can look at to find the device to IOMMU (socket 0 or socket 1) mapping?

Thank you,
Ahmed.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.kernelnewbies.org/pipermail/kernelnewbies/attachments/20140708/232e54ac/attachment-0001.html