GNU Linux-libre 4.14.253-gnu1
[releases.git] / drivers / vfio /
drwxr-xr-x   ..
-rw-r--r-- 1458 Kconfig
-rw-r--r-- 402 Makefile
drwxr-xr-x - mdev
drwxr-xr-x - pci
drwxr-xr-x - platform
-rw-r--r-- 58918 vfio.c
-rw-r--r-- 33764 vfio_iommu_spapr_tce.c
-rw-r--r-- 45063 vfio_iommu_type1.c
-rw-r--r-- 2812 vfio_spapr_eeh.c
-rw-r--r-- 5597 virqfd.c