From mboxrd@z Thu Jan  1 00:00:00 1970
From: enjoymindful@gmail.com (Real Name)
Date: Wed, 9 Jul 2014 16:18:03 +0800
Subject: View device <=> IOMMU mapping table
In-Reply-To: <1404880420.97769.YahooMailNeo@web162506.mail.bf1.yahoo.com>
References: <1404880420.97769.YahooMailNeo@web162506.mail.bf1.yahoo.com>
Message-ID: <20140709081803.GB1770@name>
To: kernelnewbies@lists.kernelnewbies.org
List-Id: kernelnewbies.lists.kernelnewbies.org

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