nVMX x86: Check VPID value on vmentry of L2 guests
[linux/fpc-iii.git] / drivers / vfio / 
treea0b5982e72b8d8bb7ac0e060ccac88c110f3db02
drwxr-xr-x   ..
-rw-r--r-- 1462 Kconfig
-rw-r--r-- 402 Makefile
drwxr-xr-x - mdev
drwxr-xr-x - pci
drwxr-xr-x - platform
-rw-r--r-- 57959 vfio.c
-rw-r--r-- 32876 vfio_iommu_spapr_tce.c
-rw-r--r-- 45471 vfio_iommu_type1.c
-rw-r--r-- 2812 vfio_spapr_eeh.c
-rw-r--r-- 5576 virqfd.c