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.