View device <=> IOMMU mapping table

[Ahmed A]

Hello,
I know the b:d.f  of my device.  However, I am not able to tell if this specific device is mapped to the right IOMMU.  In my specific system there are two IOMMU, right?   If so, I am not sure how I can get the mapping info from the output of /proc/iomem.

Regards,
Ahmed.




On Wednesday, July 9, 2014 1:18 AM, Real Name <enjoymindful at gmail.com> wrote:
 


On Tue, Jul 08, 2014 at 09:33:40PM -0700, Ahmed A wrote:
> 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?

please try:
1) lspci -vs THE_PCI_ID
2) cat /proc/iomem


> 
> Thank you,
> Ahmed.

> _______________________________________________
> Kernelnewbies mailing list
> Kernelnewbies at kernelnewbies.org
> http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies


_______________________________________________
Kernelnewbies mailing list
Kernelnewbies at kernelnewbies.org
http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.kernelnewbies.org/pipermail/kernelnewbies/attachments/20140709/28fb4a38/attachment.html