Make vfio MSI interrupt be non-threaded. 28/1228/5
[kvmfornfv.git] / kernel / arch / arc / plat-arcfpga /
drwxr-xr-x   ..
-rw-r--r-- 958 Kconfig
-rw-r--r-- 358 Makefile
drwxr-xr-x - include
-rw-r--r-- 1214 platform.c
-rw-r--r-- 4845 smp.c