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@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?