[vfio-users] Trying to get VFIO working on my laptop

Daurnimator quae at daurnimator.com
Wed May 11 01:47:24 UTC 2016


On 11 May 2016 at 02:08, Nicolas Roy-Renaud
<nicolas.roy-renaud.1 at ens.etsmtl.ca> wrote:
> Hard to tell what the problem is at a glance, although I believe Quadro
> cards are a special case because they are meant to be passed-through like
> that, unlike Geforce cards where the hv_vendor spoofing is more of a
> workaround to get the drivers to load even though the card being detected
> isn't supposed to work in a virtual environnement.
>
> Could you send us the output of those commands?
>
> $ for iommu_group in $(find /sys/kernel/iommu_groups/ -maxdepth 1 -mindepth
> 1 -type d); do echo "IOMMU group $(basename "$iommu_group")"; for device in
> $(ls -1 "$iommu_group"/devices/); do echo -n $'\t'; lspci -nns "$device";
> done; done

IOMMU group 0
00:00.0 Host bridge [0600]: Intel Corporation Xeon E3-1200 v3/4th Gen
Core Processor DRAM Controller [8086:0c04] (rev 06)
IOMMU group 1
00:01.0 PCI bridge [0604]: Intel Corporation Xeon E3-1200 v3/4th Gen
Core Processor PCI Express x16 Controller [8086:0c01] (rev 06)
02:00.0 3D controller [0302]: NVIDIA Corporation GK107GLM [Quadro
K1100M] [10de:0ff6] (rev a1)
IOMMU group 2
00:03.0 Audio device [0403]: Intel Corporation Xeon E3-1200 v3/4th Gen
Core Processor HD Audio Controller [8086:0c0c] (rev 06)
IOMMU group 3
00:04.0 Signal processing controller [1180]: Intel Corporation Device
[8086:0c03] (rev 06)
IOMMU group 4
00:14.0 USB controller [0c03]: Intel Corporation 8 Series/C220 Series
Chipset Family USB xHCI [8086:8c31] (rev 05)
IOMMU group 5
00:16.0 Communication controller [0780]: Intel Corporation 8
Series/C220 Series Chipset Family MEI Controller #1 [8086:8c3a] (rev
04)
IOMMU group 6
00:1a.0 USB controller [0c03]: Intel Corporation 8 Series/C220 Series
Chipset Family USB EHCI #2 [8086:8c2d] (rev 05)
IOMMU group 7
00:1b.0 Audio device [0403]: Intel Corporation 8 Series/C220 Series
Chipset High Definition Audio Controller [8086:8c20] (rev 05)
IOMMU group 8
00:1c.0 PCI bridge [0604]: Intel Corporation 8 Series/C220 Series
Chipset Family PCI Express Root Port #1 [8086:8c10] (rev d5)
IOMMU group 9
00:1c.2 PCI bridge [0604]: Intel Corporation 8 Series/C220 Series
Chipset Family PCI Express Root Port #3 [8086:8c14] (rev d5)
IOMMU group 10
00:1c.3 PCI bridge [0604]: Intel Corporation 8 Series/C220 Series
Chipset Family PCI Express Root Port #4 [8086:8c16] (rev d5)
IOMMU group 11
00:1c.4 PCI bridge [0604]: Intel Corporation 8 Series/C220 Series
Chipset Family PCI Express Root Port #5 [8086:8c18] (rev d5)
IOMMU group 12
00:1d.0 USB controller [0c03]: Intel Corporation 8 Series/C220 Series
Chipset Family USB EHCI #1 [8086:8c26] (rev 05)
IOMMU group 13
00:1f.0 ISA bridge [0601]: Intel Corporation HM87 Express LPC
Controller [8086:8c4b] (rev 05)
00:1f.2 SATA controller [0106]: Intel Corporation 8 Series/C220 Series
Chipset Family 6-port SATA Controller 1 [AHCI mode] [8086:8c03] (rev
05)
00:1f.3 SMBus [0c05]: Intel Corporation 8 Series/C220 Series Chipset
Family SMBus Controller [8086:8c22] (rev 05)
00:1f.6 Signal processing controller [1180]: Intel Corporation 8
Series Chipset Family Thermal Management Controller [8086:8c24] (rev
05)
IOMMU group 14
06:00.0 Network controller [0280]: Broadcom Corporation BCM4352
802.11ac Wireless Network Adapter [14e4:43b1] (rev 03)
IOMMU group 15
07:00.0 Unassigned class [ff00]: Realtek Semiconductor Co., Ltd.
RTS5249 PCI Express Card Reader [10ec:5249] (rev 01)

> $ lspci -s 02:00 -nnk

02:00.0 3D controller [0302]: NVIDIA Corporation GK107GLM [Quadro
K1100M] [10de:0ff6] (rev a1)
Subsystem: Dell Device [1028:060d]
Kernel driver in use: vfio-pci
Kernel modules: nouveau, nvidia_drm, nvidi

> $ cat /proc/cmdline

BOOT_IMAGE=/root/boot/vmlinuz-linux
root=UUID=d00a9250-be2c-40e1-9187-98585a616ae7 rw
rootflags=subvol=root cryptdevice=/dev/sda2:vg:allow-discards
root=/dev/mapper/vg-root resume=/dev/mapper/vg-swap quiet
intel_iommu=on,igfx_off

> $ find /sys/bus/pci/devices/*/boot_vga -print -exec cat {} \;

/sys/bus/pci/devices/0000:00:02.0/boot_vga
1

> $ cat /etc/modprobe.d/vfio.cfg
>
> Pretty sure that last one should be vfio.conf, BTW. The manpage for
> modprobe.d says it only checks for files ending in .conf.

It is vfio.conf. Contents:

options vfio-pci ids=10de:0ff6




More information about the vfio-users mailing list