root/drivers/vfio/platform/

1. reset/
2. vfio_amba.c
3. vfio_platform.c
4. vfio_platform_common.c
5. vfio_platform_irq.c
6. vfio_platform_private.h