Add and use a generic version of devmem_is_allowed()
[platform/kernel/linux-rpi.git] / drivers / vfio / fsl-mc /
drwxr-xr-x   ..
-rw-r--r-- 346 Kconfig
-rw-r--r-- 148 Makefile
-rw-r--r-- 16465 vfio_fsl_mc.c
-rw-r--r-- 4220 vfio_fsl_mc_intr.c
-rw-r--r-- 1356 vfio_fsl_mc_private.h