linux/drivers/vfio/platform
..
vfio_platform_common.c
vfio_platform_private.h
vfio_platform.c