vfio/pci: Rename vfio_pci_private.h to vfio_pci_core.h
[linux-2.6-microblaze.git] / drivers / vfio /
drwxr-xr-x   ..
-rw-r--r-- 1518 Kconfig
-rw-r--r-- 439 Makefile
drwxr-xr-x - fsl-mc
drwxr-xr-x - mdev
drwxr-xr-x - pci
drwxr-xr-x - platform
-rw-r--r-- 63971 vfio.c
-rw-r--r-- 32854 vfio_iommu_spapr_tce.c
-rw-r--r-- 81943 vfio_iommu_type1.c
-rw-r--r-- 2681 vfio_spapr_eeh.c
-rw-r--r-- 5485 virqfd.c