Merge branch 'drm-next' of git://people.freedesktop.org/~airlied/linux
[platform/kernel/linux-rpi.git] / drivers / vfio /
drwxr-xr-x   ..
-rw-r--r-- 393 Kconfig
-rw-r--r-- 113 Makefile
drwxr-xr-x - pci
-rw-r--r-- 35667 vfio.c
-rw-r--r-- 18996 vfio_iommu_type1.c