vfio_platform_regions_cleanup  238 drivers/vfio/platform/vfio_platform_common.c 		vfio_platform_regions_cleanup(vdev);
vfio_platform_regions_cleanup  290 drivers/vfio/platform/vfio_platform_common.c 	vfio_platform_regions_cleanup(vdev);