Merge branch 'drm-fixes-3.18' of git://people.freedesktop.org/~agd5f/linux into drm...
[cascardo/linux.git] / drivers / vfio /
drwxr-xr-x   ..
-rw-r--r-- 699 Kconfig
-rw-r--r-- 223 Makefile
drwxr-xr-x - pci
-rw-r--r-- 37457 vfio.c
-rw-r--r-- 10017 vfio_iommu_spapr_tce.c
-rw-r--r-- 25045 vfio_iommu_type1.c
-rw-r--r-- 2503 vfio_spapr_eeh.c