Steffen Vogel 3047f5bb7a vfio: only rebind pci device to VFIO driver if not already bound		2018-01-30 19:09:56 +01:00
..
kernel.c	simple renames to not use reserved names	2018-01-10 11:02:08 +01:00
pci.c	pci: add function to get currently loaded kernel driver	2018-01-30 19:09:19 +01:00
vfio.c	vfio: only rebind pci device to VFIO driver if not already bound	2018-01-30 19:09:56 +01:00